Results 1 
2 of
2
Process algebra for synchronous communication
 Inform. and Control
, 1984
"... Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite ..."
Abstract

Cited by 423 (66 self)
 Add to MetaCart
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite system behind the communication algebra is shown to be confluent and terminating (modulo its permutative reductions). Further, some relationships are shown to hold between the four concepts of merging. © 1984 Academic Press, Inc.
Metric denotational semantics for BPPA
, 2005
"... Abstract. Program algebra (PGA) is a basic and simple concept of a programming language which has been formulated by Bergstra and Loots in [9, 10]. Behaviors for programs in PGA can be given in the Basic Polarized Process Algebra (BPPA). Based on the theory of metric spaces as introduced in [5], we ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Program algebra (PGA) is a basic and simple concept of a programming language which has been formulated by Bergstra and Loots in [9, 10]. Behaviors for programs in PGA can be given in the Basic Polarized Process Algebra (BPPA). Based on the theory of metric spaces as introduced in [5], we give a denotational semantics for BPPA. Models of BPPA are considered as complete metric spaces of a suitable mathematical structure. We show that a space consisting of projective sequences is an appropriate model for BPPA. Furthermore, using Banach's xed point theorem, we prove that the specication of a regular process in this space has a unique solution. This result suggests a model consisting of regular processes. We complete the paper by comparing several models of BPPA. 1