Sfoglia per Rivista ACM COMPUTING SURVEYS
Mostrati risultati da 1 a 2 di 2
Foundations of session types and behavioural contracts
2016-01-01 Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Lúis, Caires; Marco, Carbone; Pierre Malo, Deniélou; Dimitris, Mostrous; Padovani, Luca; António, Ravara; Emilio, Tuosto; Hugo Torres, Vieira; Gianluigi, Zavattaro
A uniform definition of stochastic process calculi
2013-01-01 De Nicola, Rocco; Lagella, Diego; Loreti, Michele; Massink, Mieke
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Foundations of session types and behavioural contracts | 1-gen-2016 | Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Lúis, Caires; Marco, Carbone; Pierre Malo, Deniélou; Dimitris, Mostrous; Padovani, Luca; António, Ravara; Emilio, Tuosto; Hugo Torres, Vieira; Gianluigi, Zavattaro | Articolo | |
| A uniform definition of stochastic process calculi | 1-gen-2013 | De Nicola, Rocco; Lagella, Diego; Loreti, Michele; Massink, Mieke | Articolo |
Mostrati risultati da 1 a 2 di 2
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