MPG.eBooks - Search Results - "Placé"

Cover Image

1

PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... Automata: A framework for specifying and verifying TCSP parallel systems -- Models for dynamically placed...”

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: “... for Specifying and Verifying TCSP Parallel Systems -- Models for dynamically placed concurrent processes...”