151 citations
- C&R Technologies (United States)US4 papers
- N&N Pharmaceuticals (United States)US4 papers
- B & BSI3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Delaware Division of LibrariesUS3 papers
- IHS Markit (United States)US3 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT3 papers
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR3 papers
- London Rebuilding SocietyGB3 papers
- Université Paris CitéFR3 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Forschungszentrum JülichDE2 papers
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025★ 1 cited
Realisability and Complementability of Multiparty Session Types
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty session types (MPST) are a type-based approach for specifying message-passing distributed systems. They rely on the notion of global type specifying the global behaviour…
cs.FL2023
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel +1
We study the complexity relationship between three models of unbounded memory automata: nu-automata (-A), Layered Memory Automata (LaMA)and History-Register Automata (HRA). Thes…