A Process Algebra Semantics for MSC Including Conditions.

Thomas Gehrke Michaela Huhn Peter Niebert Arend Rensink Heike Wehrheim

Published in: FBT (1998)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
web services composition
communication protocols
concurrent programs
temporal logic
grid workflow
petri net
programming environment
formal languages
transformation rules
communication protocol