Traces, dependency graphs and DNLC grammars
- 31 July 1985
- journal article
- research article
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 11 (3) , 299-306
- https://doi.org/10.1016/0166-218x(85)90080-0
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Semantics of concurrent systems: A modular fixed-point trace approachPublished by Springer Nature ,1985
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977