Toggle Main Menu Toggle Search

Open Access padlockePrints

TLA Specification of a Mechanism for Concurrent Exception Handling

Lookup NU author(s): Avelino Zorzo, Professor Brian Randell, Professor Alexander Romanovsky


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

Publication metadata

Author(s): Zorzo AF, Randell B, Romanovsky A

Editor(s): Ezhilchelvan, P., Romanovsky, A.

Publication type: Book Chapter

Publication status: Published

Book Title: Concurrency in Dependable Computing

Year: 2002

Pages: 41-59

Publisher: Kluwer Academic Publishers

Place Published: Boston, Massachusetts, USA; London

Library holdings: Search Newcastle University Library for this item

ISBN: 9781402070433


Link to this publication