Process algebra: specification and verification in bisimulation semantics
Jan Aldert Bergstra · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1986
called 'bisimulation semantics'.Thus, the important aspect of process algebra in which a unification and classification is sought for various algebraical approaches to process semantics ('comparative concurrency semantics') is not represented here.From the point of view of process specification and verification this restriction is justified: at present the specification and verification facilities are, at least in the setting of ACP, most highly developed in bisimulation semantics, in any case more than in the ACP treatment of e.g.failure semantics.ACKNOWLEDGEMENT.We thank J. Heering and J.C.M. Baeten for suggesting many improvements.