Sfoglia per Rivista THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mostrati risultati da 1 a 3 di 3
A unified framework for differential aggregations in Markovian process algebra
2015-01-01 Tribastone, M; Tschaikowski, M
Combining behavioural types with security analysis
2015-01-01 Massimo, Bartoletti; Ilaria, Castellani; Pierre-Malo, Deniélou; Mariangiola, Dezani-Ciancaglini; Silvia, Ghilezan; Jovanka, Pantovic; Jorge A., Pérez; Peter, Thiemann; Bernardo, Toninho; MENDES TORRES VIEIRA, H
A type language for distributed reactive components governed by communication protocols
2023-01-01 Savanovic, Zorica; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A unified framework for differential aggregations in Markovian process algebra | 1-gen-2015 | Tribastone, M; Tschaikowski, M | |
Combining behavioural types with security analysis | 1-gen-2015 | Massimo, Bartoletti; Ilaria, Castellani; Pierre-Malo, Deniélou; Mariangiola, Dezani-Ciancaglini; Silvia, Ghilezan; Jovanka, Pantovic; Jorge A., Pérez; Peter, Thiemann; Bernardo, Toninho; MENDES TORRES VIEIRA, H | |
A type language for distributed reactive components governed by communication protocols | 1-gen-2023 | Savanovic, Zorica; Galletta, Letterio |
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