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., Schek, H.-J.

Publication type: Book Chapter

Publication status: Published

Book Title: Object Orientation with Parallelism and Persistence

Year: 1996

Pages: 8037

Series Title: The Springer International Series in Engineering and Computer Science

Publisher: Springer

Place Published: Berlin; New York

Library holdings: Search Newcastle University Library for this item

ISBN: 9780792397700

ePrints