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)

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

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)