SOS for higher order processes

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)


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).
Originele taal-2Engels
TitelCONCUR 2005 - Concurrency Theory : 16th International Conference, San Francisco CA, USA, August 23-26, 2005 : proceedings
RedacteurenM. Abadi, L. de Alfaro
Plaats van productieBerlin
ISBN van geprinte versie3-540-28309-9
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'SOS for higher order processes'. Samen vormen ze een unieke vingerafdruk.

Citeer dit