FAC 2002 | Sciweavers

Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...

Brendan P. Mahony, Jin Song Dong

claim paper

Read More »

34

click to vote

FAC
2002

66views more FAC 2002»

Shallow Linear Action Graphs and their Embeddings

13 years 11 months ago

Download pauillac.inria.fr

Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...

James J. Leifer, Robin Milner

claim paper

Read More »

35

click to vote

FAC
2002

79views more FAC 2002»

A New Approach to Abstract Syntax with Variable Binding

13 years 11 months ago

Download www.cl.cam.ac.uk

proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK

Murdoch Gabbay, Andrew M. Pitts

claim paper

Read More »

42

click to vote

FAC
2002

78views more FAC 2002»

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

13 years 11 months ago

Download research.cs.queensu.ca

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...

Jürgen Dingel

claim paper

Read More »

39

click to vote

FAC
2002

41views more FAC 2002»

Generic Composition

13 years 11 months ago

Download sei.pku.edu.cn

Yifeng Chen

claim paper