Zobrazeno 1 - 10
of 99
pro vyhledávání: '"Barbanera, Franco"'
Publikováno v:
EPTCS 408, 2024, pp. 1-20
Formal verification methods for concurrent systems cannot always be scaled-down or tailored in order to be applied on specific subsystems. We address such an issue in a MultiParty Session Types setting by devising a partial type assignment system for
Externí odkaz:
http://arxiv.org/abs/2410.00537
Publikováno v:
EPTCS 383, 2023, pp. 15-34
A multiparty session formalises a set of concurrent communicating participants. We propose a type system for multiparty sessions where some communications between participants can be ignored. This allows us to type some sessions with global types rep
Externí odkaz:
http://arxiv.org/abs/2308.10653
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 3 (August 2, 2023) lmcs:10165
We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constructions from the literature and to compare them. In particular, we cons
Externí odkaz:
http://arxiv.org/abs/2210.08223
Publikováno v:
EPTCS 365, 2022, pp. 53-68
Communication is an essential element of modern software, yet programming and analysing communicating systems are difficult tasks. A reason for this difficulty is the lack of compositional mechanisms that preserve relevant communication properties. T
Externí odkaz:
http://arxiv.org/abs/2208.04634
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2025 142
Choreography automata are an automata-based model of choreographies, that we show to be a compositional one. Choreography automata represent global views of choreographies (and rely on the well-known model of communicating finite-state machines to mo
Externí odkaz:
http://arxiv.org/abs/2107.06727
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2023 135
Publikováno v:
EPTCS 304, 2019, pp. 77-96
Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty session enjoy lock-freed
Externí odkaz:
http://arxiv.org/abs/1909.05972
Publikováno v:
EPTCS 279, 2018, pp. 4-20
Global-type formalisms enable to describe the overall behaviour of distributed systems and at the same time to enforce safety properties for communications between system components. Our goal is that of amending a weakness of such formalisms: the dif
Externí odkaz:
http://arxiv.org/abs/1810.02468
Autor:
Barbanera, Franco, de'Liguoro, Ugo
Publikováno v:
EPTCS 261, 2017, pp. 17-36
In the setting of the pi-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of
Externí odkaz:
http://arxiv.org/abs/1711.11209