| yz (2007) | |||||||||||||
Abstract | |||||||||||||
| ) Frank S. de Boer , Jan Willem Klop yz , Catuscia Palamidessi yx Abstract We study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is present in process algebra frameworks such as CCS, CSP and ACP. We investigate semantics and axiomatizations with respect to various observability criteria: bisimulation, traces and abstract traces. Our aim is to develop a process theory which can be regarded as a kernel for languages based on asynchronous communication, like data flow, concurrent logic languages and concurrent constraint programming. 1 Introduction In order to introduce the framework of asynchronous communication that will be adopted and investigated in this paper, we will first give an informal comparison with synchronous communication as in ACP [BK86]. Synchronous communication is modeled in ACP by a binary function j on actions. In the case of value transmission the typical equation is c"d j c#d = cmd, wh... | |||||||||||||
Details der Publikation | |||||||||||||
| |||||||||||||