ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
Time and Fairness in a Process Algebra with Non-blocking Reading
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Construction and SAT-based verification of contextual unfoldings
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Efficient contextual unfolding
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Efficient unfolding of contextual Petri nets
Theoretical Computer Science
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |