Sfoglia per Rivista  SCIENCE OF COMPUTER PROGRAMMING

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 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
AErlang: Empowering Erlang with attribute-based communication 1-gen-2018 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
Beyond Connected Cars: a Systems of Systems perspective 1-gen-2020 Pelliccione, Patrizio; Knauss, Eric; Magnus Ågren, S; Heldal, Rogardt; Vinel, Alexey; Bergenhem, Carl; Brunnegård, Oliver
A design-by-contract approach to recover the architectural style from run-time misbehaviour 1-gen-2015 Poyias, Kyriakos; Tuosto, E
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 1 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