Cover image not available

On the decidability of non-interleaving process equivalences

Astrid Kiehn

Publication Data

Title On the decidability of non-interleaving process equivalences
Author Astrid Kiehn
Contributors Matthew Hennessy, Matthew Hennessy
Publisher Computer Science, School of Cognitive and Computing Sciences, University of Sussex
Publication date 1994
Publication location Brighton
Language English

Topics

Parallel processing (Electronic computers)

Catalogue Data

OBNB ID GB9512635
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 29p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

On the decidability of non-interleaving process equivalences by Astrid Kiehn. Published by Computer Science, School of Cognitive and Computing Sciences, University of Sussex in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.