Sequential composition in the presence of intermediate termination: (Extended Abstract)

J.C.M. Baeten, Bas Luttik, F. Yang

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
34 Downloads (Pure)

Samenvatting

The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and pushdown processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operational semantics for the sequential composition operator in the context of intermediate termination. With the revised operational semantics, we eliminate transparency, allowing us to establish a close correspondence between context-free processes and pushdown processes. Moreover, we prove the reactive Turing powerfulness of TCP with iteration and nesting with the revised operational semantics for sequential composition.
Originele taal-2Engels
TitelProceedings of the Combined 24th International Workshop on Expressiveness in Concurrency, Berlin, Germany, 4th September 2017
RedacteurenKirstin Peters, Simone Tini
Pagina's1-17
Aantal pagina's17
DOI's
StatusGepubliceerd - 2017
EvenementCombined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017), September 04, 2017, Berlin, Germany - Berlin, Duitsland
Duur: 4 sep 20174 sep 2017
http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=62827&copyownerid=58755

Publicatie series

NaamEPTCS
Volume255
ISSN van geprinte versie2075-2180

Congres

CongresCombined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017), September 04, 2017, Berlin, Germany
Verkorte titelEXPRESS/SOS 2017
LandDuitsland
StadBerlin
Periode4/09/174/09/17
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Sequential composition in the presence of intermediate termination: (Extended Abstract)'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Baeten, J. C. M., Luttik, B., & Yang, F. (2017). Sequential composition in the presence of intermediate termination: (Extended Abstract). In K. Peters, & S. Tini (editors), Proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency, Berlin, Germany, 4th September 2017 (blz. 1-17). (EPTCS; Vol. 255). https://doi.org/10.4204/EPTCS.255.1