Eugenio Battiston

Publication Activity (10 Years)

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

Publications

Eugenio Battiston, A. Chizzoni, Fiorella de Cindio
CLOWN as a Testbed for Concurrent Object-Oriented Concepts. Concurrent Object-Oriented Programming and Petri Nets (2001)
Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri
Modular Algebraic Nets to Specify Concurrent Systems. IEEE Trans. Software Eng. 22 (10) (1996)
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)
Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri
Semantics Frameworks for a Class of Modular Algebraic Nets. AMAST (1993)
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)