scientific article; zbMATH DE number 1786481

zbMATH Open0990.68091MaRDI QIDQ4547773FDOQ4547773

Authors: Joost-Pieter Katoen, P. 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 of this publication is not available (Why is that?)

Recommendations

• Validation of Stochastic Systems
• Process algebra for performance evaluation
• A theory of stochastic systems. II: Process algebra
• The theory of interactive generalized semi-Markov processes
• scientific article; zbMATH DE number 1701761

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Extending Timed Process Algebra with Discrete Stochastic Time
• A bulk-synchronous parallel process algebra
• The theory of interactive generalized semi-Markov processes
• Title not available (Why is that?)
• Formal Methods for the Design of Real-Time Systems
• Symbolic approaches to probability distributions in process algebra
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4547773)