6 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of Illinois Urbana-ChampaignUS2 papers
- Adam Mickiewicz University in PoznańPL1 paper
- Adıyaman UniversityTR1 paper
- Astronomical Institute of the Slovak Academy of SciencesSK1 paper
- Astronomical ObservatoryRS1 paper
- Astronomy and SpaceAU1 paper
- CEA GrenobleFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Centro Universitario InternazionaleIT1 paper
- Changchun ObservatoryCN1 paper
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
- Cukurova UniversityTR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018★ 2 cited
A Theory of Reversibility for Erlang
Ivan Lanese, Naoki Nishida, Adrián Palacios +1
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programmin…
cs.PL2016
Undecidability of Asynchronous Session Subtyping
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Session types are used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicat…