Toggle Main Menu Toggle Search

Open Access padlockePrints

Compositionality, Inference and Concurrency

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Jones CB

Editor(s): Davies, J., Roscoe, A.W. and Woodcock, J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 1999 Oxford-Microsoft Symposium in honour of Professor Sir Tony Hoare: Millennial Perspectives in Computer Science

Year of Conference: 2000

Pages: 175-186

Publisher: Palgrave Macmillan

Library holdings: Search Newcastle University Library for this item

Series Title: Cornerstones of Computing

ISBN: 0333922301


Actions

Link to this publication


Share