A notion of congruence for dtsPBC

zbMATH Open1249.68133MaRDI QIDQ2882947FDOQ2882947

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)

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

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)

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)