Sfoglia per Rivista  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 4 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
Modelling and simulation of asynchronous real-time systems using Timed Rebeca 1-gen-2014 Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S
Multi-agent systems with virtual stigmergy 1-gen-2020 De Nicola, R; Di Stefano, L; Inverso, O
On the specification of modal systems: A comparison of three frameworks 1-gen-2013 Aceto, L; Fábregas, I; de Frutos-Escrig, D; Ingólfsdóttir, A; Palomino, M
PomCho: A tool chain for choreographic design 1-gen-2021 Guanciale, Roberto; Tuosto, Emilio
PSTMonitor: Monitor synthesis from probabilistic session types 1-gen-2022 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
Rule formats for determinism and idempotence 1-gen-2012 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Mostrati risultati da 4 a 9 di 9
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile