Yifeng Chen  Home/Search
Context
Related
| dur.ac.uk/yifeng.chen/hierarchy.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: dur.ac.uk/yifeng.chen/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces techniques to organise predicate-semantic models in a hierarchical structure so that a new model can inherit the laws of more abstract ones. Generic composition is used to simplify the manipulation of predicates. Necessary restrictions are imposed on the definition of each model so that the inheritance relation can be established by checking a few conditions on the healthiness conditions and the commands. (Update)
Active bibliography (related documents): More All
0.1: A Fixpoint Theory for Non-monotonic Parallelism - Chen (2002) (Correct)
0.1: From Durational Specifications to TLA . . . - Chen, al. (Correct)
0.1: Integrating Temporal Logics - Chen, Liu (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ chen-hierarchical,
author = "Yifeng Chen",
title = "Hierarchical Organisation of Predicate-Semantic Models",
url = "citeseer.ist.psu.edu/738865.html" }
Citations (may not include all citations):258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
108 Communications of the ACM (context) - Hoare, programming - 1987
72 Unifying Theories of Programming (context) - Hoare, He - 1998
11 Formal Methods for Global Synchrony (context) - Chen - 2001
9 Formal Aspects of Computing (context) - Chen - 2002
Documents on the same site (http://www.dur.ac.uk/yifeng.chen/): More
A Predicative Semantics of Objects and References - Chen (Correct)
The Weakest Specifunction - Chen, Sanders (Correct)
Integrating Temporal Logics - Chen, Liu (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC