Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("REGGIO, G")

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 12 of 12

  • Page / 1
Export

Selection :

  • and

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

  • Page / 1