Relational specifications and observational semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 233 LNCS, Issue , 1986, Pages 209-217

  Astesiano, Egidio ^a   Reggio, Gianna ^a   Wirsing, Martin ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85032210237     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0016244     Document Type: Conference Paper

References (14)

1. (LNCS n. xx stands for Lectures Notes in Computer Science n. xx Springer Verlag.)
2. 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.
3. 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.
4. 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.
5. E. Astesiano G. Reggio An introduction to SMoLCS Internal report 1986.
6. E. Astesiano M. Wirsing An introduction to ASL Proc. IFIP TC2 Working Conference Bad Ttlz North Holland 1986.
7. H. Barringer J.H. Ching C.B. Jones A logic covering undefinedness inprogramproof Acta Informatica 20 251-269 1984.
8. M. Broy M. Wirsing On the algebraic spec~cation of finitary ireqnite communicating sequenlial processes in Proc. IFIP TC2 Working Conference on “Formal Description of Programming Concepts IF Garmisch 1982.
9. M. Broy M. Wirsing Partial abstract types Acta Informatica 18 47-64 1982.
10. R. Milner A calculus of communicating systems LNCS n.92 1980.
11. G. Plotkin An operational semantics for CSP in Proc. IFIP TC2 Working Conference on “Formal description of Programming concepts II Garmisch 1982.
12. D. SanneUa M. Wirsing A kernel language for algebraic specification and implementation Proc. Intl. Conf. on Foundations of Computation Theory Borgholm Sweden LNCS n. 158 1985.
13. 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.
14. M. Wirsing Structured algebraic specifications: a kernel language Habilitation thesis Technische Universitat Munchen.