scientific article; zbMATH DE number 1786481

zbMath0990.68091MaRDI QIDQ4547773

Joost-Pieter Katoen, Pedro R. D'Argenio

Publication date: 21 August 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900375

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ A bulk-synchronous parallel process algebra ⋮ Extending Timed Process Algebra with Discrete Stochastic Time

This page was built for publication: