Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
The Book of Traces
Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science
On the composition of processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |