Items where Year is 1990

1990

Catoni, Maria Luisa Parigi 1904: Picasso iberico e Les Demoiselles d’Avignon. Bollettino d'arte, 62-63. pp. 117-139. ISSN 0394-4573 (1990)

De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990)

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990)

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Action versus State based Logics for Transition Systems. In: Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, 469 . Springer, pp. 407-419. ISBN 3-540-53479-2 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990)

Pietrini, Pietro and Bongioanni, Paolo and Scarpellini, Gabriella and Loprieno, Federica and Guazzelli, Mario Valutazione dell’attività monoamino-ossidasica trombocitaria in pazienti con Dipendenza da Alcol. Psichiatria e territorio, 7 (1Suppl). pp. 147-152. (1990)