Heinz Saria;Heinrich Nirschl;Carl Binding
-;-;-
The European telecommunications research and development program RACE and its software project SPECS
IBM Systems Journal
A common compiler for LOTOS and SDL specifications
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers