Hierarchical organisation of predicate-semantic models

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

Volumn 4010 LNCS, Issue , 2006, Pages 155-172

  Chen, Yifeng ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; GENETIC ALGORITHMS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; REGULATORY COMPLIANCE;

HEALTHINESS CONDITIONS; HIERARCHICAL ORGANIZATION; PREDICATE-SEMANTIC MODELS; SEMANTIC SPACE;

SEMANTICS;

EID: 33746073026     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768173_10     Document Type: Conference Paper

References (5)

1. Y. Chen. Formal Methods for Global Synchrony. PhD thesis, Oxford University Computing Laboratory, 2001.
2. Y. Chen. Generic composition. Formal Aspects of Computing, 14(2):108-122, 2002.
3. C. A. R. Hoare and et al. Laws of programming. Communications of the ACM, 30(8):672-686, 1987.
4. C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall, 1998.
5. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.