Unifying the Linear Time-Branching Time Spectrum of Process Semantics

DOI10.2168/LMCS-9(2:11)2013zbMath1297.68181arXiv1304.6574OpenAlexW2071532102MaRDI QIDQ2838240

Carlos Gregorio Rodríguez, Miguel Palomino, David Hernandez, David de Frutos-Escrig

Publication date: 9 July 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.6574

zbMATH Keywords

unificationalgebraic languagesprocess semanticsaxiomatizationslinear semanticslinear time-branching time spectrumconstrained simulationsimulation semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

When Are Prime Formulae Characteristic? ⋮ When are prime formulae characteristic? ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Logical Characterisations and Compositionality of Input-Output Conformance Simulation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation ⋮ Unnamed Item ⋮ Encoding safety in \(\mathrm{CLL}_R\)

This page was built for publication: Unifying the Linear Time-Branching Time Spectrum of Process Semantics