Translated title of the contribution | A Model for Real-Time Process Algebras |
---|---|
Original language | English |
Title of host publication | Unknown |
Pages | 372 - 381 |
Number of pages | 9 |
Volume | 711 |
Publication status | Published - 1993 |
Bibliographical note
Conference Proceedings/Title of Journal: Mathematical Foundations of Computer ScienceOther: Lecture notes in Computer Science