Probabilistic configuration theories

DOI10.1016/J.ENTCS.2006.11.041MaRDI QIDQ2864526zbMATH OpenOpenAlexFDO

Authors Alessandro Tiberi

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.041

zbMATH Keywords

concurrencysequent calculusprobabilistic semanticsconfiguration structures

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1948163
• Probabilistic concurrent Kleene algebra
• Algebraic theory of probabilistic and nondeterministic processes.
• Probabilistic concurrent constraint programming
• Probabilistic \(\pi\)-calculus and event structures

Cites work

• scientific article; zbMATH DE number 1161555 (Why is no real title available?)
• scientific article; zbMATH DE number 1948163 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• Applications and Theory of Petri Nets 2005
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computational Structures
• Impossibility of distributed consensus with one faulty process

Cited in

(1)

• scientific article; zbMATH DE number 1948163 (Why is no real title available?)

This page was built for publication: Probabilistic configuration theories

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