Communicating TILCO: A Model for Real-Time System Specification.

Pierfrancesco Bellini, Paolo Nesi

Browse the full ICECCS paper archive.