Asis Goswami

Semantics for Specifying Real-Time Systems

Mathai Joseph, Asis Goswami, 1988, Specification and Verification of Concurrent Systems.

ISL: An Interval Logic for the Specification of Real-time Programs

Mathai Joseph, Asis Goswami, Michael Bell, 1992, FTRTFT.

Semancitcs of Real-time Distributed Programs

Mathai Joseph, Asis Goswami, M. Joseph, 1988, Concurrency.

What's 'real' about real-time systems?

Mathai Joseph, Asis Goswami, M. Joseph, 1988, Proceedings. Real-Time Systems Symposium.