An Algebraic Specification of Process Algebra, Including Two Examples.

Published in: Algebraic Methods (1987)

Keyphrases

process algebra
formal specification
asynchronous circuits
concurrent systems
model checking
formal methods
web services composition
concurrent programs
communication protocols
high level
temporal logic
petri net
formal languages
artificial intelligence
multi agent systems
case study
real time