Old Publications of Gianna Reggio (before 1998)

Publications of Gianna Reggio (before 1998)

• M. Cerioli and G. Reggio. Very Abstract Specifications: A formalism Independent Approach. In Mathematical Structures in Computer Science, 1997.
• G. Reggio and M. Larosa. A Graphic Notation for Formal Specifications of Dynamic Systems. In Proc. FME'97. (J. Fitzgerald and C.B. Jones editors), Lecture Notes in Computer Science, n. 1313, Berlin, Springer Verlag, 1997.
• E. Astesiano and G. Reggio. Formalism and Method. In Proc. TAPSOFT '97. (M. Bidoit and M. Dauchet editors), Lecture Notes in Computer Science, n. 1214, Berlin, Springer Verlag, pages 93-114, 1997.
• G. Costa and G. Reggio. Specification of Abstract Dynamic DataTypes: A Temporal Logic Approach. In T.C.S., Vol. 173. n.2, 1997.
• E. Astesiano and G. Reggio. A Dynamic Specification of the RPC-Memory Problem. In Formal System Specification: The RPC-Memory Specification Case Study (M. Broy, S. Merz and K. Spies editors), Lecture Notes in Computer Science n. 1169, Berlin, Springer Verlag, 1996.
• E. Coscia and G. Reggio. Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case In Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types. Oslo Norway, September 1995 (M.Haveraaen, O. Owe and O.-J. Dahl editors), Lecture Notes in Computer Science, n. 1130, Berlin, Springer Verlag, pages 161-182, 1996.
• E. Astesiano, G. Reggio and F. Morando. The SMoLCS Toolset In Proc. of TAPSOFT '95 (P.D. Mosses, M. Nielsen and M.I. Schwartzbach editors), n. 915 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 810-801, 1995.
• M. Cerioli and G. Reggio. Institutions for Very Abstract Specifications, In Recent Trends in Data Type Specification (H. Ehrig and F. Orejas editors), n. 785 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 113-127, 1994.
• M. Cerioli and G. Reggio. Algebraic Oriented Institutions, In Algebraic Methodology and Software Technology (AMAST'93) (T. Rus M. Nivat, C. Rattray and G. Scollo, editors), Workshops in Computing, Springer Verlag, pages 103-210, 1994.
• M. Bettaz and G. Reggio. A SMoLCS Based Kit for Defining the Semantics of High-Level Algebraic Petri, In Recent Trends in Data Type Specification (H. Ehrig and F. Orejas editors), n. 785 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 98-112, 1994.
• E. Astesiano, G. Reggio and E. Zucca. Stores as Homomorphisms and their Transformations, In Proc. MFCS'93 (Mathematical Foundations of Computer Science) (H. Ehrig and F. Orejas editors), n. 711 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 242-251, 1993.
• G. Reggio. Event Logic for Specifying Abstract Dynamic Data Types In Recent Trends in Data Type Specification (M. Bidoit and C. Choppy editors), n. 655 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 292-309, 1993.
• E. Astesiano and G. Reggio. Specifying Reactive Systems by Abstract Events, In Proc. of Seventh International Workshop on Software Specification and Design (IWSSD-7), Los Alamitos, CA, IEEE Computer Society, 1993.
• E. Astesiano and G. Reggio. Algebraic Specification of Concurrency (invited lecture), In Recent Trends in Data Type Specification (M. Bidoit and C. Choppy editors), n. 655 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 1-39, 1993.
• E. Astesiano and G. Reggio. A Metalanguage for the Formal Requirement Specification of Reactive Systems In Proc. FME'93: Industrial-Strength Formal Methods (J.C.P. Woodcock and P.G. Larsen editors), n. 670 of Lecture Notes in Computer Science, Berlin, Springer Verlag, 1993.
• M Bettaz, A. Choutri and G. Reggio. A Life-Cycle for Parallel and Distributed Systems Based on Two Models of Concurrency. In Proc. of Second Euromicro Workshop for Parallel and Distributed Processing, IEEE Computer Society, 1993.
• E. Astesiano, A. Giovini and G. Reggio. Observational Structures and their Logic. In T.C.S., Vol. 96, 1992, pages 249-283.
• G. Costa and G. Reggio. Abstract Dynamic Data Types: a Temporal Logic Approach. In Proc. MFCS'91 (A. Tarlecki editor),
  n. 520 of Lecture Notes in Computer Science,
  Berlin, Springer Verlag, pages 103-112, 1991.
• G. Reggio. Entities: an Institution for Dynamic Systems. In Recent Trends in Data Type Specification (H. Ehrig, K.P. Jantke, F. Orejas and H. Reichel editors), n. 534 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 244-265, 1991.
• E. Astesiano, A. Giovini and G. Reggio. Processes as Data Types: Observational Semantics and Logic. In Proc. of 18-eme Ecole de Printemps en Informatique Theorique, Semantique du Parallelism (I. Guessarian editor), n. 469 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 1-20, 1990.
• E. Astesiano, A. Giovini, G. Reggio and E. Zucca. An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. In Algebraic Methods: Theory, Tool and Applications (M. Wirsing and J.A. Bergstra editors), n. 394 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 91-116, 1989.
• E. Astesiano, A. Giovini and G. Reggio. Generalized Bisimulation in Relational Specifications. In Proc. STACS'88 (Symposium on Theoretical Aspects of Computer Science) n. 294 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 207-226, 1988.
• G. Reggio. Una Metodologia per la Specifica di Sistemi e Linguaggi Concorrenti. Ph. D. Thesis, Università di Genova-Pisa-Udine, 1988. In Italian.
• E. Astesiano, A. Giovini and G. Reggio. Data in a Concurrent Environment. In Proc. Concurrency '88 (International Conference on Concurrency), Hamburg, R.F.T., 1988 (F. Vogt editor), n. 335 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 140-159, 1988.
• E. Astesiano and G. Reggio. SMoLCS-Driven Concurrent Calculi. In Proc. TAPSOFT'87, Vol. 1 (H. Ehrig, R. Kowalski, G. Levi and U. Montanari editors) n. 249 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 169-201, 1987.
• E. Astesiano and G. Reggio. The SMoLCS Approach to the Formal Semantics of Programming Languages - A tutorial introduction. In System Development and Ada, Proc. of CRAI Workshop on Software Factories and Ada, Capri 1986, (A.N. Habermann and U. Montanari editors), n. 275 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 81-116, 1987.
• E. Astesiano and G. Reggio. An Outline of the SMoLCS Approach. In Mathematical Models for the Semantics of Parallelism, Proc. Advanced School on Mathematical Models of Parallelism, Roma, 1986, (M. Venturini Zilli editor), n. 280 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 81-113, 1987.
• E. Astesiano and G. Reggio. Direct Semantics of Concurrent Languages in the SMoLCS Approach. In IBM Journal of Research and Development, Vol. 31, n. 5, pages 512-534, 1987.
• E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio and E. Zucca. The Ada Challenge for New Formal Semantic Techniques, In Ada: Managing the Transition, Proc. of the Ada-Europe International Conference, Edimburgh, 1986, Cambridge, University Press, pages 239-248, 1986.
• E. Astesiano, F. Mazzanti, G. Reggio and E. Zucca. Formal Specification of a Concurrent Architecture in a Real Project. In A Broad Perspective of Current Developments, Proc. ICS'85 (ACM International Computing Symposium), Amsterdam, North-Holland, pages 185-195, 1985.
• E. Astesiano, G. Mascari, G. Reggio and M. Wirsing. On the Parameterized Algebraic Specification of Concurrent Systems. In Proc. of TAPSOFT '85 (H. Ehrig, C. Floyd, M. Nivat and J. Thatcher editors), n. 185 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 342-358, 1985.
• E. Astesiano and G. Reggio. On the Specification of the Firing Squad Problem. In Proc. of the Workshop on The Analysis of Concurrent Systems, Cambridge, 1983, n. 207 of Lecture Notes in Computer Science, Berlin, Springer Verlag, pages 137-156, 1985.

Technical Reports of Gianna Reggio (before 1998)

• E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report of DISI - Università di Genova, DISI-TR-96-20, Italy, 1996.
• G. Reggio and V. Filippi. Specification of a High-Voltage Substation: Revised Tool-Checked Version. Technical Report of DISI - Università di Genova, DISI-TR-95-09, Italy, 1995.
  
• G. Reggio and E. Crivelli. Specification of a Hydroelectric Power Station: Revised Tool-Checked Version. Technical Report of DISI - Università di Genova, DISI-TR-94-17, Italy, 1994.
  
• E. Astesiano and G. Reggio. Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report of DISI - Università di Genova, DISI-TR-94-20, Italy, 1994.
  Presented at ICSE'17-Workshop on Formal Methods, Seattle April 1995.
• G. Reggio, D. Bertello and A. Morgavi. The Reference Manual for the SMoLCS Methodology. Technical Report of DISI - Università di Genova, DISI-TR-94-12, Italy, 1994.
• G. Reggio and F. Parodi. METAL: a Metalanguage for SMoLCS. Technical Report of DISI - Università di Genova, DISI-TR-94-13, Italy, 1994.
• E. Astesiano, C. Bendix Nielsen, N. Botta, A. Fantechi, A. Giovini, P. Inverardi, E. Karlsen, F. Mazzanti, J. Storbank Pedersen, G. Reggio and E. Zucca. The Draft Formal Definition of Ada. Technical Report of CEC MAP project: The Draft Formal Definition of ANSI/STD 1815A Ada, Deliverable, 1986.
• E. Astesiano, F. Mazzanti, G. Reggio and E. Zucca. Formal Specification of the Cnet Inter-node Communication Architecture. n. 140 of Quaderni Cnet, ETS, Pisa, 1985.