related documents
- Operational Semantics for the Petri Box Calculus Conferences
5th International Conference on Theory of Concurrency (CONCUR 94)
Conference
- Scholarly Activity