Imprecise Probability for Multiparty Session Types in Process Algebra.

Bogdan Aman Gabriel Ciobanu

Published in: CoRR (2020)

Keyphrases

multi party
process algebra
model checking
formal specification
concurrent systems
privacy preserving
asynchronous circuits
real time
grid workflow
open source
mental states
web services composition