Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Reachability in contextual nets
Fundamenta Informaticae
Partial order semantics and read arcs
Theoretical Computer Science
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Bisimulation equivalences for graph grammars
Formal and natural computing
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
On the computation of McMillan's prefix for contextual nets and graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Efficient contextual unfolding
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Efficient unfolding of contextual Petri nets
Theoretical Computer Science
Reachability in Contextual Nets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Hi-index | 0.00 |