Sfoglia per Rivista
Mostrati risultati da 1 a 3 di 3
A uniform definition of stochastic process calculi
2013-01-01 De Nicola, R; Latella, D; Loreti, M.; Massink, M
Concurrency: Theory and Practice
1996-01-01 DE NICOLA, R; Smolka, S. A.
Foundations of session types and behavioural contracts
2016-01-01 Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Luís, Caires; Marco, Carbone; Pierre-Malo, Deniélou; Dimitris, Mostrous; Luca, Padovani; António, Ravara; Emilio, Tuosto; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A uniform definition of stochastic process calculi | 1-gen-2013 | De Nicola, R; Latella, D; Loreti, M.; Massink, M | |
Concurrency: Theory and Practice | 1-gen-1996 | DE NICOLA, R; Smolka, S. A. | |
Foundations of session types and behavioural contracts | 1-gen-2016 | Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Luís, Caires; Marco, Carbone; Pierre-Malo, Deniélou; Dimitris, Mostrous; Luca, Padovani; António, Ravara; Emilio, Tuosto; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro |
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