Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...A deductive database support to the specification of concurrent systems -- Interprocess...”