CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Petri nets in cryptographic protocols
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Unfolding semantics of graph transformation
Information and Computation
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Typed event structures and the linear π-calculus
Theoretical Computer Science
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Concurrent automata vs. asynchronous systems
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Real-time event structures and scott domains
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources
Electronic Notes in Theoretical Computer Science (ENTCS)
What topology tells us about diagnosability in partial order semantics
Discrete Event Dynamic Systems
On Concurrent Games with Payoff
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |