Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results
As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurre...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Uppsala universitet, Datalogi
2016
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297488 http://nbn-resolving.de/urn:isbn:978-91-554-9639-5 |