Alessandro Giovini

Publication Activity (10 Years)

Years Active: 1987-1992
Publications (10 Years): 0

Publications

Alessandro Giovini, Franco Morando, Antonio Capani
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. ALP (1992)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Observational Structures and Their Logics. Theor. Comput. Sci. 96 (1) (1992)
Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio
Algebraic Specification at Work. AMAST (1991)
Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. ISSAC (1991)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes (1990)
Alessandro Giovini, Gianfranco Niesi
CoCoA: a User-Friendly System for Commutative Algebra. DISCO (1990)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Generalized Bisimulation in Relational Specifications. STACS (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Data in a Concurrent Environment. Concurrency (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio
Data in a Concurrent Environment. ADT (1988)
Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods (1987)