Skip to content

Operational Semantics for the Petri Box Calculus.

Maciej Koutny, Javier Esparza, Eike Best

VenueBCONCUR
Year1994
ProceedingsCONCUR

Browse the full CONCUR paper archive.