Contextual transition system for π-calculus

Masaki Murakami; Takami Sasaki

doi:10.1109/SAI.2014.6918181

Contextual transition system for π-calculus

Masaki Murakami, Takami Sasaki

Center for Information Technology and Management

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper presents a labeled transition system (LTS) for π-calculus that uses contexts of processes rather than actions as labels for transitions. We present a set of rules that derives transitions with contextual labels. We show that the operational semantics defined with the LTS corresponds to the semantics defined with reaction rules. The set of rules does not refer the rules for reaction semantics explicitly unlike existing contextual LTS. The LTS is a base for a structural operational semantics with contextual labels. We present that the bisimulation equivalence based on the contextual LTS is a congruence relation.

Original language	English
Title of host publication	Proceedings of 2014 Science and Information Conference, SAI 2014
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	133-139
Number of pages	7
ISBN (Electronic)	9780989319317
DOIs	https://doi.org/10.1109/SAI.2014.6918181
Publication status	Published - Oct 7 2014
Event	2014 Science and Information Conference, SAI 2014 - London, United Kingdom Duration: Aug 27 2014 → Aug 29 2014

Publication series

Name	Proceedings of 2014 Science and Information Conference, SAI 2014

Other

Other	2014 Science and Information Conference, SAI 2014
Country/Territory	United Kingdom
City	London
Period	8/27/14 → 8/29/14

Keywords

Theorey of concurrencey
bisimulation
π-calculus

ASJC Scopus subject areas

Information Systems

Access to Document

10.1109/SAI.2014.6918181

Cite this

Contextual transition system for π-calculus. / Murakami, Masaki; Sasaki, Takami.
Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 133-139 6918181 (Proceedings of 2014 Science and Information Conference, SAI 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Murakami, M & Sasaki, T 2014, Contextual transition system for π-calculus. in Proceedings of 2014 Science and Information Conference, SAI 2014., 6918181, Proceedings of 2014 Science and Information Conference, SAI 2014, Institute of Electrical and Electronics Engineers Inc., pp. 133-139, 2014 Science and Information Conference, SAI 2014, London, United Kingdom, 8/27/14. https://doi.org/10.1109/SAI.2014.6918181

@inproceedings{42aae723cf964d4f88fe09de2931bf06,

title = "Contextual transition system for π-calculus",

abstract = "This paper presents a labeled transition system (LTS) for π-calculus that uses contexts of processes rather than actions as labels for transitions. We present a set of rules that derives transitions with contextual labels. We show that the operational semantics defined with the LTS corresponds to the semantics defined with reaction rules. The set of rules does not refer the rules for reaction semantics explicitly unlike existing contextual LTS. The LTS is a base for a structural operational semantics with contextual labels. We present that the bisimulation equivalence based on the contextual LTS is a congruence relation.",

keywords = "Theorey of concurrencey, bisimulation, π-calculus",

author = "Masaki Murakami and Takami Sasaki",

note = "Publisher Copyright: {\textcopyright} 2014 The Science and Information (SAI) Organization.; 2014 Science and Information Conference, SAI 2014 ; Conference date: 27-08-2014 Through 29-08-2014",

year = "2014",

month = oct,

day = "7",

doi = "10.1109/SAI.2014.6918181",

language = "English",

series = "Proceedings of 2014 Science and Information Conference, SAI 2014",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "133--139",

booktitle = "Proceedings of 2014 Science and Information Conference, SAI 2014",

}

TY - GEN

T1 - Contextual transition system for π-calculus

AU - Murakami, Masaki

AU - Sasaki, Takami

PY - 2014/10/7

Y1 - 2014/10/7

N2 - This paper presents a labeled transition system (LTS) for π-calculus that uses contexts of processes rather than actions as labels for transitions. We present a set of rules that derives transitions with contextual labels. We show that the operational semantics defined with the LTS corresponds to the semantics defined with reaction rules. The set of rules does not refer the rules for reaction semantics explicitly unlike existing contextual LTS. The LTS is a base for a structural operational semantics with contextual labels. We present that the bisimulation equivalence based on the contextual LTS is a congruence relation.

AB - This paper presents a labeled transition system (LTS) for π-calculus that uses contexts of processes rather than actions as labels for transitions. We present a set of rules that derives transitions with contextual labels. We show that the operational semantics defined with the LTS corresponds to the semantics defined with reaction rules. The set of rules does not refer the rules for reaction semantics explicitly unlike existing contextual LTS. The LTS is a base for a structural operational semantics with contextual labels. We present that the bisimulation equivalence based on the contextual LTS is a congruence relation.

KW - Theorey of concurrencey

KW - bisimulation

KW - π-calculus

UR - http://www.scopus.com/inward/record.url?scp=84909629327&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84909629327&partnerID=8YFLogxK

U2 - 10.1109/SAI.2014.6918181

DO - 10.1109/SAI.2014.6918181

M3 - Conference contribution

AN - SCOPUS:84909629327

T3 - Proceedings of 2014 Science and Information Conference, SAI 2014

SP - 133

EP - 139

BT - Proceedings of 2014 Science and Information Conference, SAI 2014

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2014 Science and Information Conference, SAI 2014

Y2 - 27 August 2014 through 29 August 2014

ER -

Contextual transition system for π-calculus

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this