Transition system specifications with negative premises
- 16 June 2005
- book chapter
- Published by Springer Nature
- p. 332-341
- https://doi.org/10.1007/bfb0039069
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Priorities in process algebrasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987