A theory of stochastic systems. II: Process algebra

DOI10.1016/J.IC.2005.07.002MaRDI QIDQ2575855zbMATH OpenOpenAlexWikidataFDO

Authors P. 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)

Recommendations

• Stochastic process algebras
• scientific article; zbMATH DE number 836614
• A theory of stochastic systems. I: Stochastic automata
• A process algebra for probabilistic and nondeterministic processes
• Algebraic theory of probabilistic and nondeterministic processes.
• Algebraic structure of some stochastic discrete event systems, with applications
• scientific article; zbMATH DE number 1285311
• Stochastic processes. From applications to theory
• scientific article; zbMATH DE number 3983036

Cites work

• scientific article; zbMATH DE number 1629910 (Why is no real title available?)
• scientific article; zbMATH DE number 1701761 (Why is no real title available?)
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 1479628 (Why is no real title available?)
• scientific article; zbMATH DE number 1786475 (Why is no real title available?)
• scientific article; zbMATH DE number 1884414 (Why is no real title available?)
• scientific article; zbMATH DE number 2090712 (Why is no real title available?)
• scientific article; zbMATH DE number 786734 (Why is no real title available?)
• scientific article; zbMATH DE number 836615 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A denotational semantics for a process-based simulation language
• A general conservative extension theorem in process algebras with inequalities
• A static view of localities
• A theory of stochastic systems. I: Stochastic automata
• A theory of timed automata
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Bisimilarity of open terms.
• Continuity of Generalized Semi-Markov Processes
• Interactive Markov chains. And the quest for quantified quality
• Process Algebra
• Process algebra for performance evaluation
• SPADES - a process algebra for discrete event simulation
• Structured operational semantics and bisimulation as a congruence
• The theory of interactive generalized semi-Markov processes
• Validation of Stochastic Systems

Cited in

(14)

• Compositional design of stochastic timed automata
• Embedding Real Time in Stochastic Process Algebras
• scientific article; zbMATH DE number 2090710 (Why is no real title available?)
• Structural Operational Semantics for Stochastic Process Calculi
• scientific article; zbMATH DE number 1884418 (Why is no real title available?)
• scientific article; zbMATH DE number 1786481 (Why is no real title available?)
• A probabilistic language formalism for stochastic discrete-event systems
• Extending Timed Process Algebra with Discrete Stochastic Time
• A theory of stochastic systems. I: Stochastic automata
• Reconciling real and stochastic time: the need for probabilistic refinement
• Bisimulations for non-deterministic labelled Markov processes
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA
• Simulation of generalised semi-Markov processes based on graph transformation systems
• scientific article; zbMATH DE number 2086944 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS
• MoDeST

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

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