Alessandro Giovini

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
Observational Structures and Their Logics.
Theor. Comput. Sci., 1992

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.
Proceedings of the Algebraic and Logic Programming, 1992

1991
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm.
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

Algebraic Specification at Work.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Processes as Data Types: Observational Semantics and Logic.
Proceedings of the Semantics of Systems of Concurrent Processes, 1990

CoCoA: a User-Friendly System for Commutative Algebra.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988
Generalized Bisimulation in Relational Specifications.
Proceedings of the STACS 88, 1988

Data in a Concurrent Environment.
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.
Proceedings of the Algebraic Methods: Theory, 1987


  Loading...