Logics for bisimulation and divergence

DOI10.1007/978-3-319-89366-2_12zbMath1504.68145OpenAlexW2796784910MaRDI QIDQ1652984

Tingting Yu, Wen-Hui Zhang, Xin Xin Liu

Publication date: 17 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-89366-2_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On the probabilistic bisimulation spectrum with silent moves

This page was built for publication: Logics for bisimulation and divergence