4 - LOGICAL FORMULAS
Published online by Cambridge University Press: 06 January 2010
Summary
- Type
- Chapter
- Information
- Nets, Terms and FormulasThree Views of Concurrent Processes and their Relationship, pp. 97 - 168Publisher: Cambridge University PressPrint publication year: 1991