A Global Semantics for Views-Reference-Cited by-同舟云学术

A Global Semantics for Views

Published:2000 Issue: Volume: Page:165-180
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Choppy Christine,Poizat Pascal,Royer Jean-Claude

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45499-3_13

Reference18 articles.

1. André Arnold. Systèmes de transitions finis et sémantique des processus communicants. Etudes et recherches en informatique. Masson, 1992.

2. Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25–29, January 1988.

3. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. A Global Semantics for Views. Research Report 189, IRIN, 1999. /papers/rr189.ps.gz in Poizat’s web page.

4. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Control and Datatypes using the View Formalism. Research Report 188, IRIN, 1999. /papers/rr188.ps.gz in Poizat’s web page.

5. Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL: Formal Object-oriented Language for Communicating Systems. Prentice-Hall, 1997.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic Execution Techniques for Refinement Testing;Tests and Proofs;2007

2. A Java Implementation of a Component Model with Explicit Symbolic Protocols;Software Composition;2005

3. Checking Asynchronously Communicating Components Using Symbolic Transition Systems;On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE;2004

4. Integration of Formal Datatypes within State Diagrams;Fundamental Approaches to Software Engineering;2003

5. Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation;Fundamental Approaches to Software Engineering;2001