Bounded concurrent timestamp systems using vector clocks
Journal of the ACM (JACM)
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Towards a Characterisation of Finite-State Message-Passing Systems
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
HMSCs as partial specifications ... with PNs as completions
Modeling and verification of parallel processes
Data & Knowledge Engineering
Refinement and asynchronous composition of modal petri nets
Transactions on Petri Nets and Other Models of Concurrency V
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |