1. A calculus for protocol specification and validation;Aggarwal,1983
2. Mec: A system for constructing and analysing transition systems;Arnold,1989
3. An end to end approach to the resequencing problem;Baccelli;J. Assoc. Comput. Mach.,1984
4. Queueing models for systems with synchronization constraints;Baccelli,1989
5. Simple computable bounds for the fork join queues;Baccelli,1985