Skip to content

Bundle event structures: a non-interleaving semantics for LOTOS.

Rom Langerak

VenueCFORTE
Year1992
ProceedingsFORTE

Browse the full FORTE paper archive.