MPG.eBooks - Search Results - "Concurrent systems"

Cover Image

1

PARLE '89 - Parallel Architectures and Languages Europe : Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings

Published 1989

Springer Berlin Heidelberg

Table of Contents: “... of term graph rewriting systems -- Towards a theory of simulation for verification of concurrent systems...”

Cover Image

2

Parle ’91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... -- Managing a Parallel Heap Efficiently -- Parallel complexity in the design and analysis of concurrent...”