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