Login / Signup
Implementing Condition/Event Nets in the Circal Process Algebra.
Antonio Cerone
Published in:
FASE (2002)
Keyphrases
</>
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
communication protocols
web services composition
concurrent programs
grid workflow
petri net
temporal logic
distributed systems
formal languages
access control