A theory of stochastic systems. II: Process algebra

DOI10.1016/J.IC.2005.07.002zbMATH Open1106.68073OpenAlexW2040082021WikidataQ57801860 ScholiaQ57801860MaRDI QIDQ2575855FDOQ2575855

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

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

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)

Cites Work

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

Cited In (14)

• Embedding Real Time in Stochastic Process Algebras
• Structural Operational Semantics for Stochastic Process Calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Compositional Design of Stochastic Timed Automata
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA
• Simulation of generalised semi-Markov processes based on graph transformation systems
• Title not available (Why is that?)

Uses Software

• MoDeST
• LOTOS

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)