Checking that finite state concurrent programs satisfy their linear specification
Type of publication: | Inproceedings |
Citation: | lichtenstein:1985:cfs |
Booktitle: | Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL '85) |
Year: | 1985 |
Pages: | 97--107 |
Publisher: | ACM |
Location: | New Orleans, Louisiana, United States |
Address: | New York, NY, USA |
ISBN: | 0-89791-147-4 |
Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, numpages={11}, project={fremdliteratur}, xseries={POPL '85}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|