SEMANTICS OF CSP VIA TRANSLATION INTO CCSASTESIANO E; ZUCCA E.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 172-182; BIBL. 10 REF.Conference Paper

LANGUAGES WITH REDUCING REFLEXIVE TYPESASTESIANO E; COSTA G.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 38-50; BIBL. 21 REF.Conference Paper

NONDETERMINISM AND JULLY ABSTRACT MODELSASTESIANO E; COSTA G.1980; R.A.I.R.O. INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1980; VOL. 14; NO 4; PP. 323-347; ABS. FRE; BIBL. 10 REF.Article

Distributive semantics for nondeterministic typed λ-calculiASTESIANO, E; COSTA, G.Theoretical computer science. 1984, Vol 32, Num 1-2, pp 121-156, issn 0304-3975Article

A free construction of dynamic termsASTESIANO, E; ZUCCA, E.Journal of computer and system sciences (Print). 1996, Vol 52, Num 1, pp 143-156, issn 0022-0000Article

A discipline for handling feature interactionASTESIANO, E; REGGIO, G.Lecture notes in computer science. 1998, pp 95-119, issn 0302-9743, isbn 3-540-65309-0Conference Paper

Stores as homomorphisms and their transformations : A uniform approach to structured types in imperative languagesASTESIANO, E; REGGIO, G; ZUCCA, E et al.Science of computer programming. 1999, Vol 34, Num 3, pp 163-190, issn 0167-6423Article

Formalism and methodASTESIANO, E; REGGIO, G.Theoretical computer science. 2000, Vol 236, Num 1-2, pp 3-34, issn 0304-3975Article

Plugging data constructs into paradigm-specific languages : Towards an application to UMLASTESIANO, E; CERIOLI, M; REGGIO, G et al.Lecture notes in computer science. 2000, pp 273-292, issn 0302-9743, isbn 3-540-67530-2Conference Paper

CAAP'81. TREES IN ALGEBRA AND PROGRAMMING. 6TH COLLOQUIUM. GENOA, MARCH 5-7, 1981. PROCEEDINGSASTESIANO E ED; BOEHM C ED.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; 370 P.; BIBL. DISSEM.Conference Paper

An attempt at analysing the consistency problems in the UML from a classical algebraic viewpointASTESIANO, E; REGGIO, G.Lecture notes in computer science. 2003, pp 56-81, issn 0302-9743, isbn 3-540-20537-3, 26 p.Conference Paper

Observational structures and their logicASTESIANO, E; GIOVINI, A; REGGIO, G et al.Theoretical computer science. 1992, Vol 96, Num 1, pp 249-283, issn 0304-3975Conference Paper