Sfoglia per Rivista MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Mostrati risultati da 1 a 5 di 5
Attribute-based transactions in service oriented computing
2015-01-01 Bocchi, Laura; Tuosto, E
Characteristic formulae for fixed-point semantics: a general framework
2012-01-01 Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J
On the axiomatisability of priority
2008-01-01 Aceto, L; Chen, T; Fokkink, W; Ingólfsdóttir, A
Proving the validity of equations in GSOS languages using rule-matching bisimilarity
2012-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
Special Issue in memory of Nadia Busi
2009-01-01 Aceto, L; Ingólfsdóttir, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Attribute-based transactions in service oriented computing | 1-gen-2015 | Bocchi, Laura; Tuosto, E | |
Characteristic formulae for fixed-point semantics: a general framework | 1-gen-2012 | Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J | |
On the axiomatisability of priority | 1-gen-2008 | Aceto, L; Chen, T; Fokkink, W; Ingólfsdóttir, A | |
Proving the validity of equations in GSOS languages using rule-matching bisimilarity | 1-gen-2012 | Aceto, L; Cimini, M; Ingólfsdóttir, A | |
Special Issue in memory of Nadia Busi | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A |
Mostrati risultati da 1 a 5 di 5
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