scientific article; zbMATH DE number 1884420

zbMath1007.68130MaRDI QIDQ4798042

Peter Kemper, Peter Buchholz

Publication date: 18 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2165/21650184.htm

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

zbMATH Keywords

bisimulationcongruenceprocess algebrassemiring

Mathematics Subject Classification ID

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

There are Two Sides to Every Question, Deriving Syntax and Axioms for Quantitative Regular Behaviours, Weighted Bisimulation in Linear Algebraic Form, Structural congruence for bialgebraic semantics, Concurrent weighted logic, Cost-related interface for software product lines, Enhanced coalgebraic bisimulation, Quantitative Kleene coalgebras, Bisimulation relations for weighted automata, Model checking for a class of weighted automata