Probabilistic configuration theories

DOI10.1016/J.ENTCS.2006.11.041zbMATH Open1277.68209OpenAlexW2007638593MaRDI QIDQ2864526FDOQ2864526

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

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

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)

Cites Work

• Title not available (Why is that?)
• Impossibility of distributed consensus with one faulty process
• Title not available (Why is that?)
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computational Structures
• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2005

Cited In (1)

• Title not available (Why is that?)

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)