Specifying message passing systems requires extending temporal logic

R.L.C. Koymans

Research output: Book/ReportReportAcademic

132 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages14
Publication statusPublished - 1986

Publication series

NameComputing science notes
Volume8614

Cite this

Koymans, R. L. C. (1986). Specifying message passing systems requires extending temporal logic. (Computing science notes; Vol. 8614). Technische Universiteit Eindhoven.