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