Towards an ASM-based Characterization of the Deadlock-freedom Property

Alessandro Bianchi; Sebastiano Pizzutilo; Gennaro Vessio

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Towards an ASM-based Characterization of the Deadlock-freedom Property

Topics: Model Analysis and Checking

In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 0ICSOFT, 123-130, 2016 , Lisbon, Portugal

Authors: Alessandro Bianchi ; Sebastiano Pizzutilo and Gennaro Vessio

Affiliation: University of Bari, Italy

Keyword(s): Abstract State Machines, Deadlock, Properties Analysis.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Models ; Paradigm Trends ; Software Engineering

Abstract: The present paper investigates the effectiveness of the Abstract State Machine (ASM) formalism into studying the deadlock-freedom property in distributed systems. To this end, the well-known Dining Philosophers prob-lem, prone to deadlock, is here modeled through ASMs and deadlock is studied. The experience suggests a provisional reformulation of the classic necessary conditions for deadlock in terms of ASMs.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 8.217.144.104

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Bianchi, A., Pizzutilo, S. and Vessio, G. (2016). Towards an ASM-based Characterization of the Deadlock-freedom Property. In Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-PT; ISBN 978-989-758-194-6, SciTePress, pages 123-130. DOI: 10.5220/0006002901230130

@conference{icsoft-pt16,
author={Alessandro Bianchi and Sebastiano Pizzutilo and Gennaro Vessio},
title={Towards an ASM-based Characterization of the Deadlock-freedom Property},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-PT},
year={2016},
pages={123-130},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006002901230130},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-PT
TI - Towards an ASM-based Characterization of the Deadlock-freedom Property
SN - 978-989-758-194-6
AU - Bianchi, A.
AU - Pizzutilo, S.
AU - Vessio, G.
PY - 2016
SP - 123
EP - 130
DO - 10.5220/0006002901230130
PB - SciTePress