Layered Concurrent Programs
Authors: Bernhard Kragl and Shaz Qadeer
Paper Information
| Title: | Layered Concurrent Programs |
| Authors: | Bernhard Kragl and Shaz Qadeer |
| Proceedings: | CAV All Papers |
| Editors: | Georg Weissenbacher, Hana Chockler and Igor Konnov |
| Keywords: | |
| Abstract: | |
| Pages: | 23 |
| Paper: |  |