Asis Goswami

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Asis Goswami, Michael Bell, Mathai Joseph
ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT (1992)
Asis Goswami, Mathai Joseph
Semancitcs of Real-time Distributed Programs. Concurrency (1988)
Mathai Joseph, Asis Goswami
What's 'Real' about Real-Time Systems? RTSS (1988)
Mathai Joseph, Asis Goswami
Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems (1988)