Abstraction as a unifying link for formal approaches to concurrency
- Lookup NU author(s)
- Professor Cliff Jones
|
|
|
|
| Author(s) | | Jones CB |
| Editor(s) | | Eleftherakis, G., Hinchey, M., Holcombe, M. |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Software Engineering and Formal Methods, 10th International Conference (SEFM) |
| Conference Location | | Thessaloniki, Greece |
| Year of Conference | | 2012 |
| Date | | 1-5 October 2012 |
| Volume | | 7504 |
| Pages | | 1-15 |
| Series Title | | Lecture Notes in Computer Science |
| ISBN | | 9783642338250 |
| |  |
|
|
|
| Full text for this publication is not currently held within this repository. Alternative links are provided below where available. |
|
|
|
| Publisher | | Springer Verlag |
| URL | | http://dx.doi.org/10.1007/978-3-642-33826-7_1 |
| DOI | | 10.1007/978-3-642-33826-7_1 |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
