Zobrazeno 1 - 10
of 1 007
pro vyhledávání: '"Ciancaglini, P."'
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
Autor:
Cifuentes, Santiago, Ciancaglini, Nicolás, Bellomo, Guido, Figueira, Santiago, Bendersky, Ariel
In this paper, we explore the concept of Mutually Unbiased Bases (MUBs) in discrete quantum systems. It is known that for dimensions $d$ that are powers of prime numbers, there exists a set of up to $d+1$ bases that form an MUB set. However, the maxi
Externí odkaz:
http://arxiv.org/abs/2309.12399
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:
EPTCS 356, 2022, pp. 12-23
We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input races provided they do not hinder lock-freedom.
Comment: In Proceedi
Comment: In Proceedi
Externí odkaz:
http://arxiv.org/abs/2203.12876
We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty session
Externí odkaz:
http://arxiv.org/abs/2201.00221
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (January 13, 2023) lmcs:8752
Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such calculi the aim is to enforce, by typing, good properties for all partic
Externí odkaz:
http://arxiv.org/abs/2111.11984
Publikováno v:
Fundamenta Informaticae, Volume 192, Issue 1 (November 10, 2024) fi:9571
We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of global type for asynchronous multiparty sessions, ensuring the expected properties for sessions, including prog
Externí odkaz:
http://arxiv.org/abs/2102.00865
We propose a general proof technique to show that a predicate is sound, that is, prevents stuck computation, with respect to a big-step semantics. This result may look surprising, since in big-step semantics there is no difference between non-termina
Externí odkaz:
http://arxiv.org/abs/2002.08738
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.