Probabilistic Configuration Theories

DOI10.1016/J.ENTCS.2006.11.041zbMath1277.68209OpenAlexW2007638593MaRDI QIDQ2864526

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

sequent calculusconcurrencyprobabilistic semanticsconfiguration structures

Mathematics Subject Classification ID

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

Cites Work

• Impossibility of distributed consensus with one faulty process
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computational Structures
• Applications and Theory of Petri Nets 2005
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic Configuration Theories