SOS for higher order processes

M.R. Mousavi, M.J. Gabbay, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)

Abstract

We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended format is called promoted PANTH. This format is easier to apply and strictly more expressive than the promoted tyft/tyxt format. Furthermore, we propose and prove a congruence format for a notion of higher order bisimilarity arising naturally from our SOS framework. To illustrate our formats, we apply them to Thomsen’s Calculus of Higher Order Communicating Systems (CHOCS).
Original languageEnglish
Title of host publicationCONCUR 2005 - Concurrency Theory : 16th International Conference, San Francisco CA, USA, August 23-26, 2005 : proceedings
EditorsM. Abadi, L. de Alfaro
Place of PublicationBerlin
PublisherSpringer
Pages308-322
ISBN (Print)3-540-28309-9
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
Volume3653
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'SOS for higher order processes'. Together they form a unique fingerprint.

Cite this