Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW12 - A4.pdf119.14 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.