Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices

DOI10.1007/978-3-662-44584-6_31zbMath1417.68139OpenAlexW101993386MaRDI QIDQ3190135

Natsuki Urabe, Ichiro Hasuo

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44584-6_31

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Up-To Techniques for Weighted Systems ⋮ Quantitative simulations by matrices ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata ⋮ Unnamed Item

This page was built for publication: Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices