[ACM Press the seventeenth annual ACM symposium - Providence, Rhode Island, United States (1985.05.06-1985.05.08)] Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85 - Transition systems, infinitary languages and the semantics of uniform concurrency

✍ Scribed by de Bakker, J W; Meyer, J J; Olderog, E R; Zucker, J I

• Book ID: 111917040
• Publisher: ACM Press
• Year: 1985
• Tongue: English
• Weight: 711 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780897911511
• DOI: 10.1145/22145.22174