Searching for authors named "Peter Sewell" – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
Correspondence Address
- …Secure Composition of Untrusted Code: Box π, Wrappers, and Causality Types Peter Sewell Computer…
- Add To MetaCart
-
Design Rules and Abstractions (from branching and real time)
- …Design Rules and Abstractions (from branching and real time) DRAFT Peter Sewell The Computer…
- Add To MetaCart
-
Foundations of Distributed Programming Languages
- …Foundations of Distributed Programming Languages Peter Sewell University of Cambridge July 6, 1998…
- Add To MetaCart
-
Bisimulation is not Finitely (First Order) Equationally Axiomatisable
- …Bisimulation is not Finitely (First Order) Equationally Axiomatisable Peter Sewell LFCS…
- Cited by 17 (0 self) – Add To MetaCart
-
Global/Local Subtyping for a Distributed π-calculus
- …Global/Local Subtyping for a Distributed -calculus Peter Sewell Peter.Sewell@(email omitted); August…
- Cited by 1 (0 self) – Add To MetaCart
-
Applied π - A Brief Tutorial
- …Applied { A Brief Tutorial Peter Sewell Computer Laboratory, University of Cambridge Peter…
- Cited by 5 (0 self) – Add To MetaCart
-
On Implementations and Semantics of a Concurrent Programming Language
- …On Implementations and Semantics of a Concurrent Programming Language Peter Sewell 1 Abstract…
- Cited by 18 (11 self) – Add To MetaCart
-
From Rewrite Rules to Bisimulation Congruences
- …From Rewrite Rules to Bisimulation Congruences Peter Sewell 1 May 29, 1998 Abstract The dynamics…
- Cited by 59 (2 self) – Add To MetaCart
-
2008–9
- … 2008–9 Peter Sewell Computer Laboratory University of Cambridge Time-stamp: <2008-11-11 17:25:32 pes20…
- Add To MetaCart
-
Natural Sciences Tripos, Part 1A, Computer Science
- … Science Politics, Psychology and Sociology Part 1, Introduction to Computer Science Peter Sewell 1A, 8…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
