Please use this identifier to cite or link to this item:
Title: Unlocking blocked communicating processes
Authors: Francalanza, Adrian
Giunti, Marco
Ravara, António
Keywords: Computer networks -- Monitoring
Computer software -- Verification
Computer multitasking
Computer algorithms
Aspect-oriented programming
Issue Date: 2015
Publisher: WWV
Citation: Francalanza, A., Giunti, M., & Ravara, A. (2015). Unlocking blocked communicating processes. 11th International Workshop on Automated Specification and Verification of Web Systems, Oslo. 1-10.
Abstract: We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant — although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
203.32 kBAdobe PDFView/Open Request a copy

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