Asis Goswami

According to our database, Asis Goswami authored at least 4 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

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

Asis Goswami, Michael Bell, Mathai Joseph

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1988

What's 'Real' about Real-Time Systems?

Mathai Joseph, Asis Goswami

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Semantics for Specifying Real-Time Systems.

Mathai Joseph, Asis Goswami

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

Semancitcs of Real-time Distributed Programs.

Asis Goswami, Mathai Joseph

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988