Stochastic Petri box calculus with discrete time

zbMATH Open1111.68087MaRDI QIDQ3429643FDOQ3429643

Authors: I. V. Tarasyuk 

Publication date: 2 April 2007

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

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)

Cited In (11)

• Title not available (Why is that?)
• 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)