scientific article; zbMATH DE number 2040327
From MaRDI portal
Publication:4449542
zbMath1089.68062MaRDI QIDQ4449542
Publication date: 11 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (6)
Weighted Bisimulation in Linear Algebraic Form ⋮ Weighted tree automata and weighted logics ⋮ A coalgebraic perspective on linear weighted automata ⋮ Up-To Techniques for Weighted Systems ⋮ Bisimulation relations for weighted automata ⋮ Quantitative simulations by matrices
This page was built for publication:
