Publication:4547773
From MaRDI portal
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Extending Timed Process Algebra with Discrete Stochastic Time, A bulk-synchronous parallel process algebra