scientific article; zbMATH DE number 7318983

zbMath1457.68151arXiv1107.1206MaRDI QIDQ4965819

Mathieu Tracol, Josée Desharnais, Abir Zhioua

Publication date: 10 March 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

SOS specifications for uniformly continuous operators ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Unnamed Item ⋮ Towards general axiomatizations for bisimilarity and trace semantics ⋮ Polynomial-time algorithms for computing distances of fuzzy transition systems ⋮ Relating strong behavioral equivalences for processes with nondeterminism and probabilities ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Deciding probabilistic bisimilarity distance one for probabilistic automata ⋮ Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations ⋮ Unwinding biological systems