Work partially funded by COMPASS-Esprit-BRA-W.G. n 3264, by CNR-PF-Sistemi Informatici e Calcolo Parallelo and by a grant ENEL/CRA (Milano Italy).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Astesiano E.; Cerioli M. “Commuting between Institutions via Simulation”, Internal Report Dipartimento di Matematica Università di Genova n. 5, June 1990.
Astesiano, E.; Giovini, A.; Reggio, G. “Data in a concurrent environment”, in (Vogt, F. ed.) Proc Concurrency '88 (International Conference on Concurrency, Hamburg, FRG October 1988), Berlin, Springer Verlag, 1988 (Lecture Notes in Computer Science n.335), pp. 140–159.
Astesiano, E.; Reggio, G. “An Outline of the SMoLCS Methodology”, (Venturini Zilli, M. ed.) Mathematical Models for the Semantics of Parallelism, Proc. Advanced School on Mathematical Models of Parallelism, Berlin, Springer Verlag, 1987 (Lecture Notes in Computer Science n. 280), pp. 81–113.
Astesiano, E.; Reggio, G. “SMoLCS-Driven Concurrent Calculi”, Proc. TAPSOFT'87, vol.1, Berlin, Springer Verlag, 1987 (Lecture Notes in Computer Science n. 249), pp. 169–201.
Astesiano, E.; Reggio G. Entity Institutions: Frameworks for Dynamic Systems, in preparation.
Broy, M.; Wirsing, M. “Partial abstract data types”, Acta Informatica 18 (1982), 47–64.
Breu, R.; Zucca, E. “An algebraic compositional semantics of an object-oriented notation with concurrency”, in (Veni Madhavan, C. E. ed.) Foundations of Software Technology and Theoretical Computer Science (Proc. of the Ninth conference, Bangalore, India), 1989, Berlin, Springer Verlag, (Lecture Notes in Computer Science n. 405).
Cerioli M. “A sound and equationally-complete deduction system for partial conditional (higher order) types” Proc. 3rd Italian Conf. on Theoretical Comp. Sci. Mantova 1989, World Scientific Pub. pp 164–175.
Denvir B.T.; Harwood W. T.; Jackson M.I.; Wray M.J. Proc. of the Workshop on The Analysis of Concurrent Systems, Cambridge, 1983, Berlin, Springer Verlag, 1985 (Lecture Notes in Computer Science n. 207).
Astesiano E.; Breu R. Hennicker R.: Reggio G.; Wirsing M.; Zucca E. A Theory of Reuse and its Applications to Object Oriented Environments, Deliverable of the DRAGON project, June 1990.
Goguen J.A.; Burstall R. M. “Introducing Institutions”, Logics of Programming, Berlin, Springer Verlag, 1983 (Lecture Notes in Computer Science n. 164).
Goguen, J.A.; Meseguer, J. “Models and Equality for Logical Programming”, Proc. TAPSOFT' 87, vol.2, Berlin, Springer Verlag, 1987 (Lecture Notes in Computer Science n. 249), pp. 1–22.
Meseguer J. Rewriting as a Unified Model of Concurrency, draft, 1990.
Fiadeiro J.; Maibaum T. “Describing, Structuring and Implementing Objects”, Draft, presented at the REX School/Workshop on Foundations of Object-Oriented Languages, May, 1990.
Wirsing M. “Algebraic Specifications”, Handbook of Theoretical Computer Science, Vol. B, North-Holland, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reggio, G. (1991). Entities: An institution for dynamic systems. In: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds) Recent Trends in Data Type Specification. ADT 1990. Lecture Notes in Computer Science, vol 534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54496-8_13
Download citation
DOI: https://doi.org/10.1007/3-540-54496-8_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54496-8
Online ISBN: 978-3-540-38416-8
eBook Packages: Springer Book Archive