1. Compiler construction, Theory and Practice;Barret,1979
2. RealTime Distributed Computing;Bums;Proceedings of 5th IEEE Computer Society Workshop Future Trends of Distributed Computing Systems,1995
3. An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets;Garg;IEEE Trans. Soft. Eng,1985
4. Mathematical Structures for Computer Science;Gersting,1982
5. Finding Response Times in a Real-Time System;Joseph;BCS Computer Journal,1986