A proof theory for asynchronously communicating real-time systems.

Ping Zhou, Jozef Hooman

Browse the full RTSS paper archive.