Preview
Unable to display preview. Download preview PDF.
References
(LNCS n. xx stands for Lectures Notes in Computer Science n. xx, Springer Verlag.)
E. Astesiano, A.Giovini, F.Mazzanti, G.Reggio, E.Zucca, The Ada challenge for new formal semantic techniques, to appear in Proc. Ada-Europe Conference, Edinburgh, May,1986.
E.Astesiano,G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS n. 185, 1985.
E.Astesiano, G.Reggio, A syntax directed approach to the semantics of concurrent languages, to appear in Proc. '86 IFIP World Congress, (Dublin, Ireland), North Holland, 1986.
E.Astesiano, G.Reggio, An introduction to SMoLCS, Internal report, 1986.
E.Astesiano, M.Wirsing, An introduction to ASL, Proc. IFIP TC2 Working Conference, Bad Tölz, North Holland, 1986.
H. Barringer, J.H. Ching, C.B. Jones, A logic covering undefinedness in program proof, Acta Informatica 20, 251–269, 1984.
M.Broy, M. Wirsing, On the algebraic specification of finitary infinite communicating sequential processes, in Proc. IFIP TC2 Working Conference on "Formal Description of Programming Concepts II", Garmisch, 1982.
M. Broy, M. Wirsing, Partial abstract types, Acta Informatica 18, 47–64, 1982.
R.Milner, A calculus of communicating systems, LNCS n.92, 1980.
G.Plotkin, An operational semantics for CSP, in Proc. IFIP TC2 Working Conference on "Formal description of Programming concepts II, Garmisch, 1982.
D.Sannella, M.Wirsing, A kernel language for algebraic specification and implementation, Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden LNCS n. 158, 1985.
E. Astesiano, C.Bendix Nielsen, N.Botta, A.Fantechi, A.Giovini, P.Inverardi, E.W.Karlsen, F.Mazzanti, J.Storbank Pedersen, G.Reggio, E.Zucca, The Trial definition of Ada, Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada, 1986.
M.Wirsing, Structured algebraic specifications: a kernel language, Habilitation thesis Technische Universitat Munchen.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Reggio, G., Wirsing, M. (1986). Relational specifications and observational semantics. In: Gruska, J., Rovan, B., Wiedermann, J. (eds) Mathematical Foundations of Computer Science 1986. MFCS 1986. Lecture Notes in Computer Science, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016244
Download citation
DOI: https://doi.org/10.1007/BFb0016244
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16783-9
Online ISBN: 978-3-540-39909-4
eBook Packages: Springer Book Archive