Analysis of a distributed system for lifting trucks
- 12 October 2002
- journal article
- Published by Elsevier BV in The Journal of Logic and Algebraic Programming
- Vol. 55 (1-2), 21-56
- https://doi.org/10.1016/s1567-8326(02)00038-3
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The parallel composition of uniform processes with dataTheoretical Computer Science, 2001
- Confluence for process verificationTheoretical Computer Science, 1996