Eugenio Battiston

According to our database, Eugenio Battiston authored at least 5 papers between 1987 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

CLOWN as a Testbed for Concurrent Object-Oriented Concepts.

Eugenio Battiston, A. Chizzoni, Fiorella de Cindio

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1996

Modular Algebraic Nets to Specify Concurrent Systems.

Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri

IEEE Trans. Software Eng., 1996

1995

An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets.

Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

Semantics Frameworks for a Class of Modular Algebraic Nets.

Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1987

OBJSA Nets: a Class of High- level Nets Having Objects as Domains.

Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri

Proceedings of the Advances in Petri Nets 1988, 1987