Contextual transition system for π-calculus

Masaki Murakami, Takami Sasaki

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


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.
Number of pages7
ISBN (Electronic)9780989319317
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


Other2014 Science and Information Conference, SAI 2014
Country/TerritoryUnited Kingdom


  • Theorey of concurrencey
  • bisimulation
  • π-calculus

ASJC Scopus subject areas

  • Information Systems


Dive into the research topics of 'Contextual transition system for π-calculus'. Together they form a unique fingerprint.

Cite this