A Process Algebra for Timed Systems

Matthew Hennessy Tim Regan

Published in: Inf. Comput. (1995)

Keyphrases

petri net
asynchronous circuits
process algebra
information systems
knowledge representation
distributed systems
computer systems
knowledge based systems
model checking
programming environment