Hereditary History-Preserving Bisimilarity: Logics and Automata

DOI10.1007/978-3-319-12736-1_25zbMath1453.68110OpenAlexW296967282MaRDI QIDQ2789065

Paolo Baldan, Silvia Crafa

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_25

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 (3)

Behavioural logics for configuration structures ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Unnamed Item

This page was built for publication: Hereditary History-Preserving Bisimilarity: Logics and Automata