Publisher's Synopsis
PART I: FORMAL DESCRIPTION OF THE SYSTEMS ARCHITECTUREPART II: EXECUTION OF THE SYSTEMS ARCHITECTUREPART III: SINGLE-QUEUE MODEL FOR SCHEDULING OF INTERACTIONSPART IV: MULTI-QUEUE MODEL FOR SCHEDULING OF INTERACTIONSPART V: INFINITE-QUEUE MODEL FOR SCHEDULING OF INTERACTIONSPART VI: VISIBILITY OF VARIABLES