``Closed interval process algebra versus ``interval process algebra

DOI10.1007/PL00013313zbMath0977.68061OpenAlexW2079970336MaRDI QIDQ5941628

Marco Pistore, Flavio Corradini

Publication date: 20 August 2001

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00013313

zbMATH Keywords

operational semanticsbisimulationprocesses with durational actionstimed equivalence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Bisimulation on speed: Worst-case efficiency ⋮ A timed calculus for wireless systems ⋮ Discrete time generative-reactive probabilistic processes with different advancing speeds

This page was built for publication: ``Closed interval process algebra versus ``interval process algebra