Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator.

Tommaso Bolognesi Ferdinando Lucidi Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator. 124-148 1991 conf/rex/1991 REX Workshop db/conf/rex/rex91.html#BolognesiL91 http://dx.doi.org/10.1007/BFb0031990