High Level Expressions with their SOS Semantics (Extended Abstract)

Authors:
Hanna Klaudel;Robert-C. Riemann
Affiliations:
-;-
Venue:
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Year:
1997

Citing 0
Cited 2

A Concurrent and Compositional Petri Net Semantics of Preemption

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Versatile boxes: a multi-purpose algebra of high-level Petri nets

Proceedings of the 2007 Summer Computer Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract