Real-Timed Concurrent Refineable Behaviours

David Murphy, David H. Pitt. Real-Timed Concurrent Refineable Behaviours. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 529-545, Springer, 1992.

Authors

David Murphy

This author has not been identified. Look up 'David Murphy' in Google

David H. Pitt

This author has not been identified. Look up 'David H. Pitt' in Google