au.\*:("REGGIO, G")
Results 1 to 12 of 12
Selection :
Stefano Guazzo e la questione della lingua. Le opinioni di uno scrittore monferrino quasi dimenticatoREGGIO, G.Studi Piemontesi Torino. 1980, Vol 9, Num 1, pp 46-51Article
Labelled transition logic: an outlineASTESIANO, E; REGGIO, G.Acta informatica. 2001, Vol 37, Num 11-12, pp 831-879, issn 0001-5903Article
Direct semantics of concurrent languages in the SMoLCS approachASTESIANO, E; REGGIO, G.IBM journal of research and development. 1987, Vol 31, Num 5, pp 512-534, issn 0018-8646Article
JTN : A java-targeted graphic formal notation for reactive and concurrent systemsCOSCIA, E; REGGIO, G.Lecture notes in computer science. 1999, pp 77-97, issn 0302-9743, isbn 3-540-65718-5Conference 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
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
CASL-CHART: A combination of statecharts and of the algebraic specification language CASLREGGIO, G; REPETTO, L.Lecture notes in computer science. 2000, pp 243-257, issn 0302-9743, isbn 3-540-67530-2Conference Paper
A graphic notation for formal specifications of dynamic systemsREGGIO, G; LAROSA, M.Lecture notes in computer science. 1997, pp 40-61, issn 0302-9743, isbn 3-540-63533-5Conference 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
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
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