Searching for authors named "Yifeng Chen" – sorted by Relevance.
-
Execution and Verification of Imperative Programs
- Execution and Verification of Imperative Programs Yifeng Chen Department of Computer Science
- Add To MetaCart
-
A Predicative Semantics of Objects and References
- Abstract A Predicative Semantics of Objects and References Yifeng Chen Department of Mathematics
- Add To MetaCart
-
Hierarchical Organisation of Predicate-Semantic Models
- Hierarchical Organisation of Predicate-Semantic Models Yifeng Chen Department of Computer Science
- Cited by 3 (2 self) – Add To MetaCart
-
A fixpoint theory for non-monotonic parallelism
- for non-monotonic parallelism YifengChen Department of Mathematics and Computer Science, University
- Cited by 6 (4 self) – Add To MetaCart
-
Inheriting laws for processes with states
- Inheriting Laws for Processes with States Yifeng Chen Department of Computer Science, University
- Cited by 1 (1 self) – Add To MetaCart
-
Generic Composition
- Under consideration for publication in Formal Aspects of Computing Generic Composition Yifeng Chen
- Cited by 21 (12 self) – Add To MetaCart
-
Cumulative computing
- ://www.elsevier.nl/locate/entcs/volume83.html 18 pages Abstract Cumulative Computing Yifeng Chen 1 Department of Mathematics and Computer
- Cited by 5 (5 self) – Add To MetaCart
-
Formal Aspects of Computing Semantic inheritance in unifying theories
- in unifying theories of programming Yifeng Chen Department of Computer Science, University of Durham, South
- Add To MetaCart
-
Generating Bsplib-C Code From Logs Specifications
- Road Leicester, LE1 7RH, UK and Yifeng Chen Department of Computer Science, University of Durham, South
- Add To MetaCart
-
Logic of Global Synchrony
- Programming Research Group LOGIC OF GLOBAL SYNCHRONY Chen, Yifeng and J. W. Sanders PRG-RR-01
- Cited by 13 (10 self) – Add To MetaCart

