Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23186| 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/23186 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| wwv2015.pdf Restricted Access | 203.32 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.