Bøger af Ryszard Janicki

Introduction.- Preliminaries.- Semantical Domains.- Concurrency Traces.

Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.