Another look at abstraction in process algebra

Publisher Website

1 January 1987

book chapter
Published by Springer Nature

p. 84-94
https://doi.org/10.1007/3-540-18088-5_8

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

On the consistency of Koomen's Fair Abstraction Rule
Theoretical Computer Science, 1987
Notes on Communicating Sequential Systems
Published by Springer Nature ,1986
Lectures on a calculus for communicating systems
Lecture Notes in Computer Science, 1985
Algebra of communicating processes with abstraction
Theoretical Computer Science, 1985
A Theory of Communicating Sequential Processes
Journal of the ACM, 1984
Process algebra for synchronous communication
Information and Control, 1984
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980