Process Algebra: Equational Theories of Communicating Processes

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:J._A._Bergstra
J. C. M. Baeten
J. W. Klop
https://www.w3.org/2000/01/rdf-schema#label Process Algebra: Equational Theories of Communicating Processes
gptkbp:language English
gptkbp:publicationYear 1990
gptkbp:publisher gptkb:Cambridge_University_Press
gptkbp:subject theoretical computer science
concurrency theory
process algebra
gptkbp:bfsParent gptkb:J._A._Bergstra
gptkbp:bfsLayer 7