1. Synchronization and Linearity;Baccelli,1992
2. A brief history of Process Algebra;Baeten;Theoretical Computer Science,2005
3. Open, closed, and mixed networks of queues with different classes of customers;Baskett;Journal of the ACM,1975
4. Controllability-observability type duality relations of finite-state machines;Beckhoff,1973
5. Checking properties of nets using transformation;Berthelot,1986