Programs, Recursion and Unbounded Choice
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521404365, 9780521018296, 9780511569784

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

References

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.019 ◽

1992 ◽

pp. 217-220

Download Full-text

Induction and semantic equality

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.013 ◽

1992 ◽

pp. 149-159

Download Full-text

Healthiness laws

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.005 ◽

1992 ◽

pp. 58-65 ◽

Cited By ~ 1

Download Full-text

Predicative fairness

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.017 ◽

1992 ◽

pp. 193-207

Download Full-text

Determinacy and disjunctivity

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.009 ◽

1992 ◽

pp. 109-115

Download Full-text

Weakest preconditions

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.003 ◽

1992 ◽

pp. 12-31

Keyword(s):

Weakest Preconditions

Download Full-text

Preface

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.001 ◽

1992 ◽

pp. xi-xii

Download Full-text

Temporal operators

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.016 ◽

1992 ◽

pp. 180-192

Download Full-text

The strong preorder

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.015 ◽

1992 ◽

pp. 167-179

Download Full-text

Operational semantics of recursion

Programs, Recursion and Unbounded Choice ◽

10.1017/cbo9780511569784.011 ◽

1992 ◽

pp. 130-142

Keyword(s):

Operational Semantics

Download Full-text