Naviga IRIS

Sfoglia per Rivista ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

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 11 di 11

2006-01-01 Emilio, Tuosto; MENDES TORRES VIEIRA, H

2007-01-01 Luís, Caires; MENDES TORRES VIEIRA, H

2015-01-01 Bortolussi, L; Hillston, J; Tribastone, M

2007-01-01 L., Bettini; DE NICOLA, R; D., Falassi; M., Loreti

2009-01-01 Bartoletti, M.; Costa, G.; Zunino, R.

2009-01-01 DE NICOLA, R.; Latella, D.; Loreti, M.; M, Massink

2007-01-01 DE NICOLA, R; M., Loreti

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

2006-01-01 DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink

1998-01-01 DE NICOLA, Rocco; Labella, A

2001-01-01 Bettini, L.; DE NICOLA, R.; R, Pugliese

Titolo	Data di pubblicazione	Autore(i)
An observational model for spatial logics	1-gen-2006	Emilio, Tuosto; MENDES TORRES VIEIRA, H
Extensionality of spatial observations in distributed systems	1-gen-2007	Luís, Caires; MENDES TORRES VIEIRA, H
Fluid Performability Analysis of Nested Automata Models	1-gen-2015	Bortolussi, L; Hillston, J; Tribastone, M
Implementing a Distributed Mobile Calculus Using the IMC Framework	1-gen-2007	L., Bettini; DE NICOLA, R; D., Falassi; M., Loreti
Jalapa: Securing Java with Local Policies	1-gen-2009	Bartoletti, M.; Costa, G.; Zunino, R.
MarCaSPiS: a Markovian Extension of a Calculus for Services	1-gen-2009	DE NICOLA, R.; Latella, D.; Loreti, M.; M, Massink
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi	1-gen-2007	DE NICOLA, R; M., Loreti
On the Expressive Power of Klaim-based Calculi	1-gen-2005	DE NICOLA, R.; Gorla, D.; R, Pugliese
Towards a Logic for Performance and Mobility	1-gen-2006	DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink
Tree Morphisms and Bisimulations	1-gen-1998	DE NICOLA, Rocco; Labella, A
XKlaim and Klava: Programming Mobile Code	1-gen-2001	Bettini, L.; DE NICOLA, R.; R, Pugliese

Mostrati risultati da 1 a 11 di 11