Sfoglia per Rivista MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Mostrati risultati da 1 a 3 di 3
CaSPiS: a calculus of sessions, pipelines and services
2015-01-01 Boreale, M; Bruni, R; De Nicola, R; Loreti, M
Multiple-Labelled Transition Systems for nominal calculi and their logics
2008-01-01 DE NICOLA, R; Loreti, M
Tree-functors, determinacy and bisimulations
2010-01-01 DE NICOLA, R; Daniele, Gorla; Anna, Labella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CaSPiS: a calculus of sessions, pipelines and services | 1-gen-2015 | Boreale, M; Bruni, R; De Nicola, R; Loreti, M | |
Multiple-Labelled Transition Systems for nominal calculi and their logics | 1-gen-2008 | DE NICOLA, R; Loreti, M | |
Tree-functors, determinacy and bisimulations | 1-gen-2010 | DE NICOLA, R; Daniele, Gorla; Anna, Labella |
Mostrati risultati da 1 a 3 di 3
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