Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Flow event structures and flow nets
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Concurrent regular expressions and their relationship to Petri nets
Theoretical Computer Science
A trace semantics for Petri nets
Information and Computation
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
| Hi-index | 0.00 |