Theory and Formal Methods 1993 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540198420, 9781447135036

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning About Gamma Programs

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_9 ◽

1993 ◽

pp. 115-125 ◽

Cited By ~ 1

Author(s):

Lindsay Errington ◽

Chris Hankin ◽

Thomas P. Jensen

Download Full-text

Laws of Parallel Synchronised Termination

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_22 ◽

1993 ◽

pp. 276-288 ◽

Cited By ~ 2

Author(s):

David Sands

Download Full-text

Prioritising Preference Relations

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_21 ◽

1993 ◽

pp. 265-275 ◽

Cited By ~ 2

Author(s):

Mark Ryan

Keyword(s):

Preference Relations

Download Full-text

Concurrency and Conflict in CSP

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_16 ◽

1993 ◽

pp. 209-225

Author(s):

Marta Kwiatkowska ◽

Iain Phillips

Download Full-text

The Abstract Interpretation of Functional Languages

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_1 ◽

1993 ◽

pp. 3-14

Author(s):

Geoffrey Burn

Keyword(s):

Abstract Interpretation ◽

Functional Languages

Download Full-text

Animating LU

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_6 ◽

1993 ◽

pp. 70-81

Author(s):

Mark Dawson

Download Full-text

Graph Rewriting Systems and Abstract Interpretation

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_3 ◽

1993 ◽

pp. 27-36

Author(s):

Chris Hankin

Keyword(s):

Abstract Interpretation ◽

Graph Rewriting ◽

Rewriting Systems ◽

Graph Rewriting Systems

Download Full-text

Congruences for τ-respecting Formats of Rules

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_25 ◽

1993 ◽

pp. 314-325

Author(s):

Irek Ulidowski

Download Full-text

A Note on Expressiveness of Process Algebra

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_20 ◽

1993 ◽

pp. 260-264 ◽

Cited By ~ 2

Author(s):

Iain Phillips

Keyword(s):

Process Algebra

Download Full-text

Deriving Category Theory from Type Theory

Theory and Formal Methods 1993 - Workshops in Computing ◽

10.1007/978-1-4471-3503-6_2 ◽

1993 ◽

pp. 15-26

Author(s):

Roy L. Crole

Keyword(s):

Category Theory ◽

Type Theory

Download Full-text

Theory and Formal Methods 1993 - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Reasoning About Gamma Programs

Laws of Parallel Synchronised Termination

Prioritising Preference Relations

Concurrency and Conflict in CSP

The Abstract Interpretation of Functional Languages

Animating LU

Graph Rewriting Systems and Abstract Interpretation

Congruences for τ-respecting Formats of Rules

A Note on Expressiveness of Process Algebra

Deriving Category Theory from Type Theory

Theory and Formal Methods 1993 - Workshops in Computing
Latest Publications