Let's PARTY: Process Algebra With Real-time From York.

Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan

Browse the full ECRTS paper archive.