Work

Unlocking Blocked Communicating Processes

Year: 2015

Type: article

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 \^a although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.188.4

Authors: Adrian Francalanza, Marco Giunti, António Ravara

Institutions: University of Malta, University of Beira Interior, Laboratório para a Ciência da Computação e Informática, Universidade Nova de Lisboa

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Ministerio de Economía y Competitividad, NOVA Laboratory for Computer Science and Informatics, Fundação para a Ciência e a Tecnologia

Awards: G1113003032, NOVA Laboratory for Computer Science and Informatics, G8906026923