Login / Signup
Comparison of Process Algebra Equivalences Using Formats.
Vashti Galpin
Published in:
ICALP (1999)
Keyphrases
</>
process algebra
asynchronous circuits
model checking
formal specification
concurrent systems
real time
petri net
relational algebra
grid workflow