4 citations
- University of BolognaIT2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- École PolytechniqueFR1 paper
- Institut de Recherche en Informatique FondamentaleFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
- Nagoya UniversityJP1 paper
- PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTionFR1 paper
- Sorbonne Paris CitéFR1 paper
- Université Paris CitéFR1 paper
- University of KentGB1 paper
- University of UrbinoIT1 paper
2 papers
cs.PL2022★ 4 cited
revTPL: The Reversible Temporal Process Language
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina +1
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…
cs.LO2022
Reasonable Space for the -Calculus, Logarithmically
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Can the -calculus be considered a reasonable computational model? Can we use it for measuring the time space consumption of algorithms? While the literature conta…