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 |
7 | EE | Alessandro 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 |