Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... of terms with term-indexed variables -- Back-forth equivalences for design of concurrent systems...”