Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics

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

Author(s): Jones CB, Hodges SJ

Editor(s): Freitag, B., Jones, C.B., Lengauer, C. and Schek, H.-J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Dagstuhl Seminar no. 9514: Object Orientation with Parallelism and Persistence

Year of Conference: 1996

Pages: 1-22

Publisher: Kluwer Academic Publishers

Library holdings: Search Newcastle University Library for this item

Series Title: Kluwer International Series in Engineering and Computer Science

ISBN: 0792397703

ePrints