Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Theoretical Computer Science
Refinement of actions in causality based models
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flow event structures and flow nets
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Selected papers of the Second Workshop on Concurrency and compositionality
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Handbook of logic in computer science (vol. 4)
On the Semantics of Petri Nets
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Homology of Higher Dimensional Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Local Event Structures and Petri Nets
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Categories of asynchronous systems
Categories of asynchronous systems
Gates accept concurrent behavior
SFCS '93 Proceedings of the 1993 IEEE 34th Annual Foundations of Computer Science
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Formal Relationships Between Geometrical and Classical Models for Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |