scholarly journals Readies and Failures in the Algebra of Communicating Processes

1988 ◽  
Vol 17 (6) ◽  
pp. 1134-1177 ◽  
Author(s):  
J. A. Bergstra ◽  
J. W. Klop ◽  
E.-R. Olderog
Keyword(s):  
Communicating Processes ◽  
Algebra Of Communicating Processes

scholarly journals Using Hoare Logic in a Process Algebra Setting

2021 ◽  
Vol 179 (4) ◽  
pp. 321-344
Author(s):  
J.A. Bergstra ◽  
C.A. Middelburg
Keyword(s):  
Process Algebra ◽  
Hoare Logic ◽  
Equational Reasoning ◽  
Communicating Processes ◽  
Algebra Of Communicating Processes

This paper concerns the relation between process algebra and Hoare logic. We investigate the question whether and how a Hoare logic can be used for reasoning about how data change in the course of a process when reasoning equationally about that process. We introduce an extension of ACP (Algebra of Communicating Processes) with features that are relevant to processes in which data are involved, present a Hoare logic for the processes considered in this process algebra, and discuss the use of this Hoare logic as a complement to pure equational reasoning with the equational axioms of the process algebra.

scholarly journals Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1

1986 ◽  
Vol 9 (2) ◽  
pp. 127-167
Author(s):  
J.C.M. Baeten ◽  
J.A. Bergstra ◽  
J.W. Klop
Keyword(s):  
Distributed System ◽  
Communicating Processes ◽  
Algebra Of Communicating Processes

A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whereby some actions have priority over others in a non-deterministic choice (or sum). This mechanism can be used to model the working of interrupts in a distributed system. This is illustrated in an extensive example.

Sign in / Sign up

Export Citation Format

Share Document