MPG.eBooks - Search Results - "Concurrent systems"

Cover Image

1

A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets...”

Cover Image

2

Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Published 1993

Springer Berlin Heidelberg

“.... The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored...”