The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

Semantics of Computation

1 July - 31 December 1995

Organisers: S Abramsky (Imperial College, London), G Kahn (INRIA, Sophia-Antipolis), J C Mitchell (Stanford), A M Pitts (Cambridge)

Semantics of Computation Seminar

Wednesday 1 November, 11am

Fixing the semantics of some concurrent object-oriented concepts: SOS and Proofs

Cliff Jones (Manchester)

Concurrent object-oriented languages provide a suitable target for a compositional design process that copes with the interference inherent with concurrency. Fixing the semantics of an object-based design language has been undertaken using operational semantics (and by a mapping to the pi-calculus). This paper will focus on the SOS semantics and indicate how proofs can be based on such a definition. The limitations will also be discussed.

Copyright © Isaac Newton Institute