A congruence relation for sPBC

DOI10.1007/S10703-007-0045-2MaRDI QIDQ2481583zbMATH OpenOpenAlexFDO

Authors Fernando Cuartero, Hermenegilda Macià, Valentín Valero, David de Frutos

Publication date 11 April 2008

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-007-0045-2

zbMATH Keywords

Petri box calculusOperational semanticsStochastic process algebrasStochastic Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A notion of congruence for dtsPBC
• Equivalence relations for modular performance evaluation in dtsPBC
• scientific article; zbMATH DE number 6708299
• Stochastic Petri box calculus with discrete time
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

Cites work

• scientific article; zbMATH DE number 1696462 (Why is no real title available?)
• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• A unified model for nets and process algebras
• Bisimulation through probabilistic testing
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Petri net algebra
• Process algebra for performance evaluation

Cited in

(5)

• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• A notion of congruence for dtsPBC

This page was built for publication: A congruence relation for sPBC

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