Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).

Jan Friso Groote Alban Ponse

Published in: CONCUR (1991)

Keyphrases

process algebra
extended abstract
asynchronous circuits
concurrent systems
formal specification
model checking
formal methods
concurrent programs
web services composition
communication protocols
grid workflow
case study
real time
temporal logic
metamodel
programming environment
database