Sfoglia per Rivista  ACM COMPUTING SURVEYS

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 2 di 2
Titolo Data di pubblicazione Autore(i) Tipo File
Foundations of session types and behavioural contracts 1-gen-2016 Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Lúis, Caires; Marco, Carbone; Pierre Malo, Deniélou; Dimitris, Mostrous; Padovani, Luca; António, Ravara; Emilio, Tuosto; Hugo Torres, Vieira; Gianluigi, Zavattaro Articolo
A uniform definition of stochastic process calculi 1-gen-2013 De Nicola, Rocco; Lagella, Diego; Loreti, Michele; Massink, Mieke Articolo
Mostrati risultati da 1 a 2 di 2
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