Naviga IRIS

Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING

Ordina per:

In ordine:

Risultati/Pagina

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

o inserisci le iniziali:

Mostrati risultati da 1 a 8 di 8

2018-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia

2022-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Uwimbabazi, A.

2006-01-01 DE NICOLA, R.; Gorla, D.; R, Pugliese

2010-01-01 DE NICOLA, R.; Gorla, D.; Hansen, R. R.; Nielson, F.; RIIS NIELSON, H.; Probst, CHRISTIAN W.; R, Pugliese

2007-01-01 DE NICOLA, R.; Gorla, D.; R, Pugliese

2021-01-01 Busi, M.; Degano, P.; Galletta, L.

2020-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.

2020-01-01 Abd Alrahman, Y.; De Nicola, R.; Loreti, M.

Titolo	Data di pubblicazione	Autore(i)
AErlang: Empowering Erlang with attribute-based communication	1-gen-2018	De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
Automated replication of tuple spaces via static analysis	1-gen-2022	De Nicola, R.; Di Stefano, L.; Inverso, O.; Uwimbabazi, A.
Confining data and processes in global computing applications	1-gen-2006	DE NICOLA, R.; Gorla, D.; R, Pugliese
From Flow Logic to static type systems for coordination languages	1-gen-2010	DE NICOLA, R.; Gorla, D.; Hansen, R. R.; Nielson, F.; RIIS NIELSON, H.; Probst, CHRISTIAN W.; R, Pugliese
Global computing in a dynamic network of tuple spaces	1-gen-2007	DE NICOLA, R.; Gorla, D.; R, Pugliese
Mechanical incrementalization of typing algorithms	1-gen-2021	Busi, M.; Degano, P.; Galletta, L.
Multi-agent systems with virtual stigmergy	1-gen-2020	De Nicola, R.; Di Stefano, L.; Inverso, O.
Programming interactions in collective adaptive systems by relying on attribute-based communication	1-gen-2020	Abd Alrahman, Y.; De Nicola, R.; Loreti, M.

Mostrati risultati da 1 a 8 di 8