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 (Electronic)9780989319317
DOIs
Publication statusPublished - Oct 7 2014
Event2014 Science and Information Conference, SAI 2014 - London, United Kingdom
Duration: Aug 27 2014Aug 29 2014

Publication series

NameProceedings of 2014 Science and Information Conference, SAI 2014

Other

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

    Fingerprint

Keywords

  • Theorey of concurrencey
  • bisimulation
  • π-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] (Proceedings of 2014 Science and Information Conference, SAI 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SAI.2014.6918181