Process Algebra with Guards: Combining Hoare Logic with Process Algebra.

Jan Friso Groote Alban Ponse

Published in: Formal Aspects Comput. (1994)

Keyphrases

process algebra
asynchronous circuits
concurrent systems
model checking
formal specification
concurrent programs
formal methods
communication protocols
web services composition
grid workflow
temporal logic
knowledge representation
fine grained
information systems
expert systems
petri net