scientific article; zbMATH DE number 1884420
From MaRDI portal
zbMath1007.68130MaRDI QIDQ4798042
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.
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