Specifying message passing systems requires extending temporal logic

R.L.C. Koymans

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 6th Annual ACM Symposium on Distributed Computing (Vancouver, 1987)
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
Pages191-204
ISBN (Print)0-89791-239-4
Publication statusPublished - 1987

Cite this

Koymans, R. L. C. (1987). Specifying message passing systems requires extending temporal logic. In Proceedings of the 6th Annual ACM Symposium on Distributed Computing (Vancouver, 1987) (pp. 191-204). Association for Computing Machinery, Inc.