Interval probability for sessions types

DOI10.1007/978-3-031-15298-6_8OpenAlexW4297809203MaRDI QIDQ6102998

Gabriel Ciobanu, Bogdan Aman

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15298-6_8

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• The theory of interval-probability as a unifying concept for uncertainty
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• Precise subtyping for synchronous multiparty sessions
• Classic works on the Dempster-Shafer theory of belief functions
• Probabilistic π-Calculus and Event Structures
• PROBABILITY INTERVALS: A TOOL FOR UNCERTAIN REASONING
• Multiparty Asynchronous Session Types
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• Bayes-like Decision Making with Upper and Lower Probabilities
• Probabilistic Analysis of Binary Sessions
• Validation of Stochastic Systems
• Global progress for dynamically interleaved multiparty sessions

This page was built for publication: Interval probability for sessions types