Autore:
Titolo:
Operational frameworks for semantic description of concurrent languages / E. Astesiano, G. Reggio, E. Zucca
Pubblicazione:
Pisa : ETS, 1982
Descrizione fisica:
19 p. ;
25 cm
Serie:
Collana CNET ; 61
Note:
In testa al front.: Progetto finalizzato Informatica, C.N.R., Progetto P1 Cnet.
Altri autori:
Legame alla serie:
Collana CNET. Vol. 61
Libro. | Lingua: Inglese. | Paese: Italia. | BID: CFI0031031
| Biblioteca | Inventario | Volume | Collocazione | Fruizione | status | |
|---|---|---|---|---|---|---|
| Biblioteca Nazionale Centrale - Firenze | 004753010 | Vol. 1 | V.COL C.i.4152. 61 | Mon. moderna prestabile |
Documenti simili
- Semantics of CSP via translation into CCS / E. Astesiano, E. Zucca Astesiano, Egidio
- A unifying viewpoint for the constructive specification of cooperation, cuncurrency and distribution / E. Astesiano, G. Reggio Astesiano, Egidio
- On the specification of the firing squad problem / E. Astesiano, G. Reggio Astesiano, Egidio
- Module calculi for dynamic reconfiguration : [dottorato di ricerca in informatica] / by Sonia Fagorzi ; [advisors: Elena Zucca, Davide Ancona ; supervisor: Elena Zucca] ; DISI, Università di Genova Fagorzi, Sonia
- Linguaggi di programmazione / Davide Ancona, Giovanni Lagorio, Elena Zucca Ancona, Davide
