Stochastic Petri box calculus with discrete time

MaRDI QIDQ3429643zbMATH OpenFDO

Authors I. V. Tarasyuk

Publication date 2 April 2007

zbMATH Keywords

stochastic process algebrastransition systemsdenotational semanticsoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Iteration in discrete time stochastic Petri box calculus
• A notion of congruence for dtsPBC
• scientific article; zbMATH DE number 6708299
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

Cited in

(11)

• scientific article; zbMATH DE number 956814 (Why is no real title available?)
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Performance analysis of concurrent systems in algebra dtsiPBC
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• sPBC: a Markovian extension of Petri box calculus with immediate multiactions
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• A congruence relation for sPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Stochastic process reduction for performance evaluation in dtsiPBC
• Iteration in discrete time stochastic Petri box calculus

This page was built for publication: Stochastic Petri box calculus with discrete time

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