Interval probability for sessions types (Q6102998)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7691319

Language	Label	Description	Also known as
English	Interval probability for sessions types	scientific article; zbMATH DE number 7691319

Statements

scholarly article

0 references

Interval probability for sessions types (English)

0 references

10.1007/978-3-031-15298-6_8

0 references

0 references

Gabriel Ciobanu

0 references

Logic, Language, Information, and Computation

0 references

publication date

2 June 2023

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-031-15298-6_8

0 references

0 references

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes

0 references

A Theory of Design-by-Contract for Distributed Multiparty Interactions

0 references

PROBABILITY INTERVALS: A TOOL FOR UNCERTAIN REASONING

0 references

Global progress for dynamically interleaved multiparty sessions

0 references

Classic works on the Dempster-Shafer theory of belief functions

0 references

Precise subtyping for synchronous multiparty sessions

0 references

Multiparty Asynchronous Session Types

0 references

Probabilistic Analysis of Binary Sessions

0 references

0 references

Validation of Stochastic Systems

0 references

0 references

Probabilistic π-Calculus and Event Structures

0 references

The theory of interval-probability as a unifying concept for uncertainty

0 references

Bayes-like Decision Making with Upper and Lower Probabilities

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6102998

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6102998&oldid=37519950"