Search the dblp DataBase

Publications of Author

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