Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi.

Pietro Di Gianantonio Furio Honsell Marina Lenisa

Published in: WADT (2008)

Keyphrases

process model
transition systems
temporal logic
data flow
control flow
business processes
model checking