Partial order semantics and read arcs

Interval graphs and interval orders

Peter C. Fishburn · Discrete Mathematics · 1985 · 242 citations

Geometric Graph Theory, Graph Theory, Interval Analysis +2

Contextual nets

Ugo Montanari, Francesca Rossi · Acta Informatica · 1995 · 196 citations

Semantics of Inhibitor Nets

Ryszard Janicki, Maciej Koutny · Information and Computation · 1995 · 142 citations

Formal Semantics, Engineering, Automated Reasoning +8

The refinement theorem for ST-bisimulation semantics

R.J. vanGlabbeek · Department of Computer Science [CS] · 1990 · 56 citations

Formal Semantics, Engineering, Operational Semantics +5

Timed Testing of Concurrent Systems

Walter Vogler · Information and Computation · 1995 · 34 citations

Engineering, System Testing, Software Testing +8