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
ISBN (Print)0-89791-239-4
Publication statusPublished - 1987

Cite this