scientific article; zbMATH DE number 2040321

zbMath1089.68069MaRDI QIDQ4449536

Peter Buchholz, Peter Kemper

Publication date: 11 February 2004

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Coinduction in Concurrent Timed Systems ⋮ Placement Inference for a Client-Server Calculus ⋮ Bisimulation relations for weighted automata ⋮ Component simulation-based substitutivity managing QoS and composition issues ⋮ Model checking for a class of weighted automata ⋮ Compositions of (max,+) automata

This page was built for publication: