Zohar Manna, Amir Pnueli
Synchronous Schemes and Their Decision Problems
POPL, 1980.
@inproceedings{POPL-1980-MannaP, author = "Zohar Manna and Amir Pnueli", booktitle = "{Conference Record of the Seventh Annual Symposium on Principles of Programming Languages}", doi = "10.1145/567446.567453", editor = "Paul W. Abrahams and Richard J. Lipton and Stephen R. Bourne", isbn = "0-89791-011-7", pages = "62--67", publisher = "{ACM Press}", title = "{Synchronous Schemes and Their Decision Problems}", year = 1980, }