Timed Observations: A Semantic Model for Real-Time Concurrency

Yolanda Ortega-Mallén, David de Frutos-Escrig. Timed Observations: A Semantic Model for Real-Time Concurrency. In Manfred Broy, editor, Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. pages 125-154, North-Holland, 1990.

Abstract

Abstract is missing.