ISBN-13: 9781511533294 / Angielski / Miękka / 2015 / 88 str.
PART I: FORMAL DESCRIPTION OF THE SYSTEMS ARCHITECTURE PART II: EXECUTION OF THE SYSTEMS ARCHITECTURE PART III: SINGLE-QUEUE MODEL FOR SCHEDULING OF INTERACTIONS PART IV: MULTI-QUEUE MODEL FOR SCHEDULING OF INTERACTIONS PART V: INFINITE-QUEUE MODEL FOR SCHEDULING OF INTERACTIONS PART VI: VISIBILITY OF VARIABLES