IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 21 - 30 di 102 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
AErlang: Empowering Erlang with Attribute-Based Communication. 1-gen-2017 De Nicola, R; Tan, Duong; Omar, Inverso; Catia, Trubiani
AGILE: Software Architecture for Mobility 1-gen-2002 Andrade, L.; Baldan, P.; Baumeister, H.; Bruni, R.; Corradini, A.; DE NICOLA, R; Fiadero, J.; Gadducci, F.; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, M.; Oliveira, C.; R., Pugliese; Tarlecki, A.; Wermelinger, M.; Wirsing, M.
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures 1-gen-1996 Xiao Jun, Chen; De Nicola, R
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 1-gen-1991 De Nicola, R; Fantechi, A; Gnesi, S; Ristori, G
Asynchronous Observations of Processes 1-gen-1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
Back and Forth Bisimulations 1-gen-1990 De Nicola, R; Montanari, U; Vaandrager, F W
Basic Observables for a Calculus for Global Computing 1-gen-2005 DE NICOLA, R; D., Gorla; R., Pugliese
Basic Observables for Probabilistic May Testing 1-gen-2007 M. C., Palmeri; DE NICOLA, R; M., Massink:
Basic Observables for Processes 1-gen-1997 M, Boreale; DE NICOLA, R.; Pugliese, R.
CARMA: Collective adaptive resource-sharing markovian agents 1-gen-2015 Bortolussi, L.; De Nicola, R; Galpin, V.; Gilmore, S.; Hillston, J.; Latella, D.; Loreti, M.; Massink, M.
Risultati 21 - 30 di 102 (tempo di esecuzione: 0.018 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 2 Contributo in Volume 102
  • 2 Contributo in Volume::2.1 Contr... 102
Autore
  • Abd Alrahman, Yehia 2
  • Duong, Nhat Tan 2
  • GARBI, GIULIO 2
  • Maggi, Alessandro 2
  • MEZZINA, CLAUDIO ANTARES 2
  • Balestrucci, Alessandro 1
  • Di Stefano, Luca 1
  • Hoang, Van Tien 1
  • Inverso, Omar 1
  • MENDES TORRES VIEIRA, HUGO FILIPE 1
Data di pubblicazione
  • 2020 - 2022 2
  • 2010 - 2019 40
  • 2000 - 2009 26
  • 1990 - 1999 25
  • 1983 - 1989 9
Editore
  • Springer 69
  • Springer Verlag 14
  • IEEE Computer Society 3
  • Association for Computing Machinery 2
  • Springer Science and Business Med... 2
  • North Holland 1
  • Open Publishing Association 1
  • Routledge (Taylor and Francis Group) 1
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE 41
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 21
  • COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
  • Computer Science (all) 3
  • Process calculi 3
  • Theoretical Computer Science 3
  • Attribute-based communication 2
  • Semantics 2
  • Social networks 2
  • Twitter 2
  • Attribute-based interaction 1
  • Automatic browser interactions 1
  • Bots 1
Lingua
  • eng 87
  • ita 1
Accesso al fulltext
  • no fulltext 97
  • reserved 4
  • open 1