| 2001 |
|---|
| 5 | EE | Eugenio Battiston,
A. Chizzoni,
Fiorella de Cindio:
CLOWN as a Testbed for Concurrent Object-Oriented Concepts.
Concurrent Object-Oriented Programming and Petri Nets 2001: 131-163 |
| 1996 |
|---|
| 4 | EE | Eugenio Battiston,
Fiorella de Cindio,
Giancarlo Mauri:
Modular Algebraic Nets to Specify Concurrent Systems.
IEEE Trans. Software Eng. 22(10): 689-705 (1996) |
| 1995 |
|---|
| 3 | | Eugenio Battiston,
Oliver Botti,
E. Crivelli,
Fiorella de Cindio:
An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets.
Application and Theory of Petri Nets 1995: 84-102 |
| 1993 |
|---|
| 2 | | Eugenio Battiston,
V. Crespi,
Fiorella de Cindio,
Giancarlo Mauri:
Semantics Frameworks for a Class of Modular Algebraic Nets.
AMAST 1993: 271-280 |
| 1987 |
|---|
| 1 | | Eugenio Battiston,
Fiorella de Cindio,
Giancarlo Mauri:
OBJSA Nets: a Class of High- level Nets Having Objects as Domains.
European Workshop on Applications and Theory of Petri Nets 1987: 20-43 |
