Alessandro Giovini

According to our database, Alessandro Giovini authored at least 9 papers between 1987 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1992

Observational Structures and Their Logics.

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Theor. Comput. Sci., 1992

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.

Alessandro Giovini, Franco Morando, Antonio Capani

Proceedings of the Algebraic and Logic Programming, 1992

1991

"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm.

Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

Algebraic Specification at Work.

Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Processes as Data Types: Observational Semantics and Logic.

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

CoCoA: a User-Friendly System for Commutative Algebra.

Alessandro Giovini, Gianfranco Niesi

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988

Generalized Bisimulation in Relational Specifications.

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Proceedings of the STACS 88, 1988

Data in a Concurrent Environment.

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.

Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca

Proceedings of the Algebraic Methods: Theory, 1987