Conference item icon

Conference item

Lost in abstraction: monotonicity in multi-threaded programs

Abstract:
Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state. This concept is not only natural and common in multi-threaded software, but also useful: if every thread's memory is finite, monotonicity often guarantees the decidability of safety property verification even when the number of running threads is unknown. In this paper, we show that the act of obtaining finite-data thread abstract... Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-662-44584-6_11

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Toyota Motor Corporation More from this funder
National Science Foundation More from this funder
European Research Council More from this funder
Publisher:
Springer Berlin Heidelberg Publisher's website
Volume:
8704
Pages:
141-155
Host title:
CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Publication date:
2014-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
484458
ISBN:
9783662445839
Pubs id:
pubs:484458
UUID:
uuid:8bea44b2-b611-4e2e-8d13-68c7c07ae289
Local pid:
pubs:484458
Deposit date:
2015-11-03

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP