Zobrazeno 1 - 10
of 1 108
pro vyhledávání: '"Lanese, A."'
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this paper, we extend a minimal MPST system with quantum data and operations,
Externí odkaz:
http://arxiv.org/abs/2409.11133
Distributed systems can be subject to various kinds of partial failures, therefore building fault-tolerance or failure mitigation mechanisms for distributed systems remains an important domain of research. In this paper, we present a calculus to form
Externí odkaz:
http://arxiv.org/abs/2406.12574
Undoing computations of a concurrent system is beneficial in many situations, e.g., in reversible debugging of multi-threaded programs and in recovery from errors due to optimistic execution in parallel discrete event simulation. A number of approach
Externí odkaz:
http://arxiv.org/abs/2307.13360
Autor:
Moreschini, Sergio, Pour, Shahrzad, Lanese, Ivan, Balouek-Thomert, Daniel, Bogner, Justus, Li, Xiaozhou, Pecorelli, Fabiano, Soldani, Jacopo, Truyen, Eddy, Taibi, Davide
Microservices is a popular architectural style for the development of distributed software, with an emphasis on modularity, scalability, and flexibility. Indeed, in microservice systems, functionalities are provided by loosely coupled, small services
Externí odkaz:
http://arxiv.org/abs/2305.16092
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 1 (January 31, 2024) lmcs:10440
Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour was observed, and looking for the bug(s) that caused it. Reversible de
Externí odkaz:
http://arxiv.org/abs/2212.03687
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
Autor:
Jennifer Cunningham‐Erves, Tilicia Mayo‐Gamble, LaNese Campbell, Bishop Calvin Barlow, Claudia Barajas, Jessica L. Jones, Karen Winkfield
Publikováno v:
Health Expectations, Vol 27, Iss 4, Pp n/a-n/a (2024)
ABSTRACT Background The engagement of community partners in equitable partnerships with academic teams is necessary to achieve health equity. However, there is no standardized approach to support bidirectional engagement among research stakeholders i
Externí odkaz:
https://doaj.org/article/4076b63ffb6544b49e5d92cab66212bf
Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication patterns from a global specification of the desired system behaviour. I
Externí odkaz:
http://arxiv.org/abs/2205.06535
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