Please use this identifier to cite or link to this item:
|Separation-based reasoning for deterministic channel-passing concurrent programs
Separation of variables
|University of Malta. Faculty of ICT
|Borda, A., & Francalanza, A. (2012). Separation-based reasoning for deterministic channel-passing concurrent programs. Computer Science Annual Workshop CSAW’12, Msida. 11.
|Tractable proof systems for concurrent processes are hard to achieve because of the non- deterministic interleaving of statements. This is particularly true when the scheduling of statements have an effect on the final state of the program, referred to as racy conditions. As a result, when we try to reason about concurrent programs, we have to consider all possible thread interleaving to accurately approximate the final result. Since, scalability is important we limit our reasoning to a subset of the concurrent programs that are race-free. By doing so we gain serialized reasoning, where examining one possible path will automatically encapsulate the other interleaving.
|Appears in Collections:
|Scholarly Works - FacICTCS
Files in This Item:
|Proceedings of CSAW12 - A4.pdf
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.