The algebra of communicating processes with empty process
نویسندگان
چکیده
منابع مشابه
The Algebra of Communicating Processes With Empty Process
The axiom systems BPX, BPAE,, PA " and ACP " which are in essence the systems BPA, PA and ACP extended with the empty process are presented. For the system ACP " , that contains the other three systems, the first steps are taken towards making it operational: the most basic supplementary axioms are given. It is also adapted such that they can deal with the empty process and a graph model is con...
متن کاملDiscrete-Time Process Algebra with Empty Process
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is paid to the considerations and problems that arise when introducing the empty process. We prove time determinacy, soundness, completeness, and the axioms of standard concurrency. 1991 Mathematics Subject Classification: 6...
متن کاملReactive Programming using the Algebra of Communicating Processes
R&D on reactive programming is growing and this has delivered quite many language constructs, libraries and tools. Scala programmers can use threads, timers, actors, futures, promises, observables, the async construct, and others. Still it seems to us that the state of the art is not mature: reactive programming is relatively hard, and confidence in correct operation depends mainly on extensive...
متن کاملFormalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL busines...
متن کاملProcess Algebra Modelling Styles for Biomolecular Processes
We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00250-2