dblp.uni-trier.dewww.uni-trier.de

Alessandro Giovini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
10 Alessandro Giovini, Franco Morando, Antonio Capani: Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. ALP 1992: 335-349
9 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992)
1991
8 Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio: Algebraic Specification at Work. AMAST 1991: 26-42
7EEAlessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso: ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm. ISSAC 1991: 49-54
1990
6 Alessandro Giovini, Gianfranco Niesi: CoCoA: a User-Friendly System for Commutative Algebra. DISCO 1990: 20-29
5 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1988
4 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. ADT 1988
3 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. Concurrency 1988: 140-159
2 Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226
1987
1 Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116

Coauthor Index

1Egidio Astesiano [1] [2] [3] [4] [5] [8] [9]
2Antonio Capani [10]
3Teo Mora [7]
4Franco Morando [8] [10]
5Gianfranco Niesi [6] [7]
6Gianna Reggio [1] [2] [3] [4] [5] [8] [9]
7Lorenzo Robbiano [7]
8Carlo Traverso [7]
9Elena Zucca [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)