Synchronous Estelle: Just another synchronous language?
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 2004
Volume: 88
Pages: 71-86
Type: Conference paper