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
|
|
|
|
|