skip to main content
Show Results with:

6 results  for Everything in this catalogue

Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Semantics for core concurrent ML using computation types.

Alan Jeffrey

University of Sussex, Computer Science, 1996.

Check library holdings

2
Material Type:
Book
Add to My workspace

A chemical abstract machine for graph reduction.

Alan Jeffrey

University of Sussex, School of Cognitive and Computing Science, 1992.

Check library holdings

3
Material Type:
Book
Add to My workspace

A complete axiomatization of timed bisimulation for a class of timed regular behaviours.

Luca Aceto

University of Sussex, School of Cognitive and Computing Science, 1994.

Check library holdings

4
Material Type:
Book
Add to My workspace

A theory of biosimulation for a fragment of concurrent ML with local names / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

5
Material Type:
Book
Add to My workspace

A fully abstract may testing semantics for concurrent objects / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

6
Material Type:
Book
Add to My workspace

Contextual equivalence for higher-order #pi#-calculus revisited / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

2 related resources

6 results  for Everything in this catalogue

Searching Remote Databases, Please Wait