Concurrent reversible sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola GIANNINI

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Lingua originaleInglese
Pagine1-17
Numero di pagine17
DOI
Stato di pubblicazionePubblicato - 1 gen 2017
EventoINTERNATIONAL CONFERENCE ON CONCURRENCY THEORY - Berlino
Durata: 1 gen 2017 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
CittàBerlino
Periodo1/01/17 → …

Keywords

  • Communication-centric Systems
  • Multiparty Session Types
  • Process Calculi
  • Reversible Computation
  • Software

Cita questo