A congruence relation for sPBC

DOI10.1007/S10703-007-0045-2zbMATH Open1138.68040OpenAlexW2141221549MaRDI QIDQ2481583FDOQ2481583

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Petri net algebra
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Process algebra for performance evaluation
• Title not available (Why is that?)
• A unified model for nets and process algebras
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time

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)