Deterministic systems of sequential processes: Theory and tools
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 380-400
- https://doi.org/10.1007/3-540-50403-6_52
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Network-based heuristics for constraint-satisfaction problemsArtificial Intelligence, 1987
- The residue of vector sets with applications to decidability problems in Petri netsActa Informatica, 1985
- Communicating sequential processesCommunications of the ACM, 1978