Gianna Reggio  Home/Search
Context Related
| disi.unige.it/person/R...Reggio91a.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/p...PublicationData (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we introduce the entity framework (entity algebras and entity specifications) and show, also with the help of several examples, how they can be used for formally modelling and specifying dynamic systems. (Update)
Context of citations to this paper: More
.... concerned with applying algebraic or logical techniques to object oriented programming is [668, 750, 3] The entity specifications of [805] are a formalism which can be used to specify object systems. 4.4 States The extension of the usual algebraic approach to the case with...
.... only fair to say that other applications of algebraic techniques to concurrency do exist, notably the work developed in Genova [e.g. Reggio 91] around entity institutions. The application of the institutional framework that these authors have developed is different from ours in...
Cited by: More
Labelled Transition Logic: An Outline - Astesiano, Reggio (1996) (Correct)
An Approach to Algebraic Semantics of Object-Oriented Languages - Fronk (2002) (Correct)
Institutions for Behaviour Specification - Fiadeiro And Costa (1995) (Correct)
Active bibliography (related documents): More All
0.4: Non-strict don't care Algebras and Specifications - Astesiano, Cerioli (1996) (Correct)
0.4: Partial Higher-Order Specifications - Astesiano, Cerioli (1992) (Correct)
0.4: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
Similar documents based on text: More All
0.1: Algebraic Specification of Concurrent Systems - Astesiano, Broy, Reggio (1999) (Correct)
0.1: Incorporating Rapid User Interface Prototyping in.. - Arisholm.. (1998) (Correct)
0.1: The shape of the Shape Lemma - Becker, Marinari (1993) (Correct)
Related documents from co-citation: More All
5: Algebraic Specification Techniques in Object Oriented Programming Environments (context) - Breu - 1991
5: The Requirement and Design Specification Language SPECTRUM --- An Informal Intro.. - Broy, Facchi et al. - 1993
5: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
G. Reggio. Entities: An Institution for Dynamic Systems. In H. Ehrig, K.P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification, pages 246--265. Springer, LNCS 534, 1990. http://citeseer.ist.psu.edu/reggio91entities.html More
@inproceedings{ reggio90entities,
author = "G.~Reggio",
title = "Entities: An Institution for Dynamic Systems",
booktitle = "Recent Trends in Data Type Specification. 7th Workshop on Specification of Abstract Data Types",
publisher = "Springer LNCS 534",
pages = "246--265",
year = "1990",
url = "citeseer.ist.psu.edu/reggio91entities.html" }
Citations (may not include all citations):224 Algebraic Specifications (context) - Wirsing - 1990
80 Introducing Institutions (context) - Goguen, Burstall - 1983
46 Rewriting as a Unified Model of Concurrency (context) - Meseguer - 1990
41 Models and Equality for Logical Programming (context) - Goguen, Meseguer - 1987
20 SMoLCS-Driven Concurrent Calculi (context) - Astesiano, Reggio - 1987
13 Partial abstract data types (context) - Broy, Wirsing - 1982
10 Describing, Structuring and Implementing Objects - Fiadeiro, Maibaum - 1990
5 Commuting between Institutions via Simulation (context) - Astesiano, Cerioli - 1990
4 A sound and equationally-complete deduction system for parti.. - Cerioli - 1989
3 An algebraic compositional semantics of an object-oriented n.. - Breu, Zucca - 1989
3 An Outline of the SMoLCS Methodology (context) - Astesiano, Reggio - 1987
1 Entity Institutions: Frameworks for Dynamic Systems (context) - Astesiano, Reggio
1 A Theory of Reuse and its Applications to Object Oriented En.. (context) - Astesiano, Breu et al. - 1990
1 Data in a concurrent environment (context) - Astesiano, Giovini et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/ReggioG/PublicationData.html): More
Algebraic Specification of Concurrent Systems - Astesiano, Broy, Reggio (1999) (Correct)
JTN: A Java-Targeted Graphic Formal Notation for Reactive and .. - Coscia, Reggio (1999) (Correct)
A Proposal for a Semantics of a Subset of Multi-Threaded "Good" .. - Eva Coscia (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC