Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23012
Title: | Separation-based reasoning for deterministic channel-passing concurrent programs |
Authors: | Borda, Aimee Francalanza, Adrian |
Keywords: | Proof theory Computer multitasking Separation of variables |
Issue Date: | 2012-11 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Borda, A., & Francalanza, A. (2012). Separation-based reasoning for deterministic channel-passing concurrent programs. Computer Science Annual Workshop CSAW’12, Msida. 11. |
Abstract: | 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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23012 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW12 - A4.pdf | 119.14 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.