A theory of stochastic systems. II: Process algebra

DOI10.1016/j.ic.2005.07.002zbMath1106.68073OpenAlexW2040082021WikidataQ57801860 ScholiaQ57801860MaRDI QIDQ2575855

Pedro R. D'Argenio, Joost-Pieter Katoen

Publication date: 7 December 2005

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2005.07.002

zbMATH Keywords

BisimulationOperational semanticsStochastic process algebraAxiomatisationStochastic automaton

Mathematics Subject Classification ID

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

Related Items (7)

Bisimulations for non-deterministic labelled Markov processes ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ Compositional Design of Stochastic Timed Automata ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ Extending Timed Process Algebra with Discrete Stochastic Time ⋮ A theory of stochastic systems. I: Stochastic automata ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems

Uses Software

• MoDeST
• LOTOS

Cites Work

• Interactive Markov chains. And the quest for quantified quality
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Structured operational semantics and bisimulation as a congruence
• A theory of timed automata
• A static view of localities
• A general conservative extension theorem in process algebras with inequalities
• The theory of interactive generalized semi-Markov processes
• Bisimilarity of open terms.
• A theory of stochastic systems. I: Stochastic automata
• Continuity of Generalized Semi-Markov Processes
• Process Algebra
• A denotational semantics for a process-based simulation language
• SPADES - a process algebra for discrete event simulation
• Validation of Stochastic Systems
• Process algebra for performance evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A theory of stochastic systems. II: Process algebra