A general completeness result in refinement

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

Volumn 1827, Issue , 2000, Pages 201-218

  Kinoshita, Yoshiki ^a   Power, John ^b  

^a Humanoid Interaction Lab   (Japan)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SANDERS; SEMANTICS; TEMPORAL LOGIC;

ALGEBRAIC STRUCTURES; ENRICHED CATEGORY THEORY; GENERALISATION; MU-CALCULUS; PROOF METHODS; RELATION-BASED;

CALCULATIONS;

EID: 56249098006     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_12     Document Type: Conference Paper

References (11)

1. Jaco de Bakker and Erik de Vink. Control Flow Semantics. Foundations of Computing Series. The MIT Press, 1996.
2. Willem-Paul de Roever and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Number 47 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1998.
3. Paul Gardiner and Carroll Morgan. Data refinement of predicate transformers. Theoretical Computer Science, 87:142–162, 1991.
4. Paul Gardiner and Carroll Morgan. A single complete rule for data refinement. Formal Aspects of Computing, 5:367–382, 1993
5. R. Gordon and A. J. Power. Algebraic structure for bicategory enriched categories. Journal of Pure and Applied Algebra, 130:119–132, 1998
6. J. He, C. A. R. Hoare, and J. W. Sanders. Data refinement refined. volume 213 of Springer Lecture Notes in Computer Science, pages 186–196, 1986
7. C. A. R. Hoare, He Jifeng, and Jeff W. Sanders. Prespecification in data refinement. Information Processing Letters, 25:71–76, 1987.
8. Y. Kinoshita and A. J. Power. Data refinement and algebraic structure. ETL Technical Report TR96–2, Electrotechnical Laboratory, January 1996. to appear in Acta Informatica.
9. Y. Kinoshita and A.J. Power. Lax naturality through enrichment. Journal of Pure and Applied Algebra, 112(1):53–72, 1996.
10. F. William Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. U.S.A., 50:869–873, 1963.
11. F. E. J. Linton. An outline of functorial semantics. In Seminar on triples and categorical homology theory, number 80 in Springer Lecture Notes in Computer Science, pages 7–52. Springer-Verlag, 1966