Specifying message passing systems requires extending temporal logic

R.L.C. Koymans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 6th Annual ACM Symposium on Distributed Computing (Vancouver, 1987)
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc
Pages	191-204
ISBN (Print)	0-89791-239-4
Publication status	Published - 1987

Cite this

@inproceedings{8cbb4583023b465e99d486c6befb71d9,

title = "Specifying message passing systems requires extending temporal logic",

author = "R.L.C. Koymans",

year = "1987",

language = "English",

isbn = "0-89791-239-4",

pages = "191--204",

booktitle = "Proceedings of the 6th Annual ACM Symposium on Distributed Computing (Vancouver, 1987)",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

TY - GEN

T1 - Specifying message passing systems requires extending temporal logic

AU - Koymans, R.L.C.

PY - 1987

Y1 - 1987

UR - http://doi.acm.org/10.1145/41840.41856

M3 - Conference contribution

SN - 0-89791-239-4

SP - 191

EP - 204

BT - Proceedings of the 6th Annual ACM Symposium on Distributed Computing (Vancouver, 1987)

PB - Association for Computing Machinery, Inc

CY - New York

ER -