Contextual transition system for π-calculus

Masaki Murakami, Takami Sasaki

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings of 2014 Science and Information Conference, SAI 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages133-139
Number of pages7
ISBN (Print)9780989319317
DOIs
Publication statusPublished - Oct 7 2014
Event2014 Science and Information Conference, SAI 2014 - London, United Kingdom
Duration: Aug 27 2014Aug 29 2014

Other

Other2014 Science and Information Conference, SAI 2014
CountryUnited Kingdom
CityLondon
Period8/27/148/29/14

Fingerprint

Semantics
Labels

Keywords

  • bisimulation
  • Theorey of concurrencey
  • π-calculus

ASJC Scopus subject areas

  • Information Systems

Cite this

Murakami, M., & Sasaki, T. (2014). Contextual transition system for π-calculus. In Proceedings of 2014 Science and Information Conference, SAI 2014 (pp. 133-139). [6918181] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SAI.2014.6918181

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.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Murakami, M & Sasaki, T 2014, Contextual transition system for π-calculus. in Proceedings of 2014 Science and Information Conference, SAI 2014., 6918181, 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
Murakami M, Sasaki T. Contextual transition system for π-calculus. In Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 133-139. 6918181 https://doi.org/10.1109/SAI.2014.6918181
Murakami, Masaki ; Sasaki, Takami. / Contextual transition system for π-calculus. Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 133-139
@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 = "bisimulation, Theorey of concurrencey, π-calculus",
author = "Masaki Murakami and Takami Sasaki",
year = "2014",
month = "10",
day = "7",
doi = "10.1109/SAI.2014.6918181",
language = "English",
isbn = "9780989319317",
pages = "133--139",
booktitle = "Proceedings of 2014 Science and Information Conference, SAI 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

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 - bisimulation

KW - Theorey of concurrencey

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

SN - 9780989319317

SP - 133

EP - 139

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -