Dipartimento di Informatica e Scienze dell'Informazione

SELECTED PAPERS

• E.Astesiano, G.Costa, Languages with reducing reflexive types, Proc. 7th ICALP (International Colloquium on Automata Languages and Programming), Lecture Notes in Computer Science n. 85, pp. 38-50, Springer, 1980

• E.Astesiano, G.Costa, The insensitivity theorem for nonreducing reflexive types, Journal of Computer and System Science, vol. 27, n.3, pp. 389-399, 1983

• E.Astesiano, E. Zucca, Parametric channels via label expressions in CCS, Theoretical Computer Science, vol. 33, pp. 45-63, 1984

• E.Astesiano, G.Costa, Distributive Semantics for Nondeterministic Typed lambda-calculi, Theoretical Computer Science, vol. 32, pp. 121-159, 1984

• E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, in Formal Methods and Software Development, Proc. TAPSOFT Conference, Vol.1, Lecture Notes in Computer Science n.186, pp. 342-358, Springer, 1985

• E.Astesiano, A.Giovini, F.Mazzanti, G.Reggio, E.Zucca, The Ada challenge for New Formal Semantic Techniques, in Ada: managing the transition, Cambridge University Press, pp. 239-248, 1986

• E.Astesiano, G.Reggio, A syntax-directed approach to the semantics of concurrent languages, Proc.'86 IFIP World Congress, (H.J.Kugler ed.), pp. 571-576, North Holland, 1986

• E.Astesiano, G.Reggio, SMoLCS-Driven Concurrent Calculi, in Proc. TAPSOFT'87, vol.1, Lecture Notes in Computer Science n.249, pp. 169-201, Springer, 1987

• E.Astesiano, G.Reggio, Direct semantics for concurrent languages in the SMoLCS approach, IBM Journal of Research and Development, v. 31, n. 5, pp. 512-534, 1987

• E.Astesiano, M.Wirsing, Bisimulation in algebraic specifications, in Resolution of Equations in Algebraic Structures 1 - Algebraic Techniques (M.Nivat ed.), San Diego, Academic Press, 1989

• E.Astesiano, Inductive and operational semantics, in IFIP State-of-the-Art Reports, Formal description of programming concepts (E.J.Neuhold, M.Paul eds.), p. 51-136, Springer, 1991

• E.Astesiano, A.Giovini, G.Reggio, Observational structures and their logic, in Theoretical Computer Science, n. 94, 1992.

• E. Astesiano, G. Reggio, Algebraic Specification of Concurrency (invited lecture), in Recent Trends in Data Type Specification (M.Bidoit, C.Choppy eds.),Lecture Notes in Computer Science n. 655, Springer, 1993

• E. Astesiano, M. Cerioli, Multiparadigm Specification languages: A First Attempt at Foundations, in Semantics of Specification Languages, Utrecht 1993 (D.J.Andrews, J.F.Groote, C.A.Middelburg, eds.), Workshops in Computing, Springer, 1994

• E.Astesiano, G.Reggio, A Metalanguage for the Formal Requirement Specification of Reactive Systems, FME'93: Industrial Strenght Formal Methods (J.C.P.Woodcock, P.G.Larsen eds.), Lecture Notes in Computer Science n. 670, Springer, 1993

• E.Astesiano, G.Reggio, E.Zucca, States as homomorphisms, in Proc.MFCS 93, Lecture Notes in Computer Science n.711, Springer, 1993

• E.Astesiano, G.Reggio, Specifying Reactive Systems by Abstract Events, Proc. 7th Int. Workshop on Software Specification and Design, Los Angeles, IEEE Comp. Soc.Press, 1993

• E. Astesiano, M. Cerioli, Free objects and equational deduction for partial conditional specifications, Theoretical Computer Science, Vol. 152, 1, p.91-138, 1995

• E.Astesiano, E.Zucca, D-oids: a model for dynamic data types, Mathematical Structures in Computer Science, vol.5, pp.257-282, 1995

• E.Astesiano, G.Reggio, Formally-Driven friendly Specifications of Concurrent Systems: A Two-Rail Approach, Proc. Workshop on Formal methods-ICSE 17, (Seattle, April 1995), 1995

• E.Astesiano, E.Zucca, A Free Construction of Dynamic Terms, Journal of Computer and System Sciences, Vol.52, No.1, February 1996

• E.Astesiano, M.Cerioli, Non-strict don't care algebras and specifications, Mathematical Structures in Computer Science (1996), vol. 6, pp. 1-41, 1996

• E.Astesiano, G.Reggio, A dynamic Specification of the RPC-Memory problem, in Formal Systems Specification (M. Broy, S. Merz, K. Spies eds.) Lecture Notes in Computer Science n. 1169, Springer, 1996

• E.Astesiano, G.Reggio, A Discipline for Handling Feature Interaction,in Requirements Targeting Software and Systems Engineering, (M.Broy, B.Rumpe eds.) Lecture Notes in Computer Science n.1526, Springer, 1998

• E.Astesiano, G.Reggio, Formalism and Method,1998, to appear in TCS

• E.Astesiano, G.Reggio, Labelled Transition Logic: an outline,1999, to appear in Acta Informatica

Last update: July, 31, 1999