Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- Infinitary languages: Basic theory and applications to concurrent systems -- The quest goes on: A survey...”