A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Petri Nets, Configuration Structures and Higher Dimensional Automata
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Well-behaved flow event structures for parallel composition and action refinement
Theoretical Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Unfolding semantics of graph transformation
Information and Computation
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Semantic domains of timed event structures
Programming and Computing Software
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
Configuration structures, event structures and Petri nets
Theoretical Computer Science
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On the computation of McMillan's prefix for contextual nets and graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Event structures for the collective tokens philosophy of inhibitor nets
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Simultaneity in event structures
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
| Hi-index | 0.00 |