Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2000 1993 1992

Number of items: 15.

2000

Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing .

Preview

Preview

Taylor, Chris (2000) Comparison of ODP Viewpoint Specifications: A Case Study. Technical report. The full text of this publication is not available from this repository.

1993

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Prototype (Test Harness and Results). Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Prototype (User Guide). Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1993) Parsing and Translation of MATS-2 Rules in Theoretical Form. Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1993) User Guide to Theoretical Form Parsing and Translation Tool (PATT). Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

Taylor, Chris (1993) A Formal Logical Analysis of Causal Relations. University of Sussex,. The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Specification (Domain Objects). Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1993) Conflict Prediction Specification (MATS-2 Separation Rules). Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1993) Uncertainties in the Interpretation of MATS-2 Separation Rules. Technical report. Dept. of Comp. Science, City University, London The full text of this publication is not available from this repository.

1992

Taylor, Chris and Naik, Yogesh (1992) Interim Progress Report on Analysis of MATS-2. Technical report. Internal, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1992) A Survey of Formalisms for the Specification of MATS-2. Technical report. Dept of Comp Science, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1992) Definition of a Theoretical Form for MATS-2. Technical report. Dept of Comp Science, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1992) Initial Domain Analysis of MATS-2. Technical report. Dept of Comp Science, London The full text of this publication is not available from this repository.

Taylor, Chris and Naik, Yogesh (1992) Transformation between Theoretical and Validation Forms. Technical report. Dept of Comp Science, London The full text of this publication is not available from this repository.

This list was generated on Thu May 23 06:17:02 2013 BST.