An enlarged definition and complete axiomatization of observational congruence of finite processes

Publisher Website

1 January 1982

book chapter
Published by Springer Nature

p. 47-62
https://doi.org/10.1007/3-540-11494-7_5

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A term model for CCS
Published by Springer Nature ,2005
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
Synthesis of communicating behaviour
Published by Springer Nature ,1978