A notion of congruence for dtsPBC

MaRDI QIDQ2882947zbMATH OpenFDO

Authors I. V. Tarasyuk

Publication date 11 May 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

congruencediscrete timedenotational semanticsPetri box calculusstochastic equivalenceoperational semanticsstochastic process algebraempty loop

Mathematics Subject Classification ID

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

Recommendations

• A congruence relation for sPBC
• scientific article; zbMATH DE number 93744
• A scheme for congruence semidistributivity
• Foundations of Software Science and Computational Structures
• Concept Lattices
• scientific article; zbMATH DE number 5841253
• scientific article; zbMATH DE number 4132876
• Congruences on directoids

Cited in

(4)

• Stochastic Petri box calculus with discrete time
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• A congruence relation for sPBC

This page was built for publication: A notion of congruence for dtsPBC

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