InhaltsangabeInvited Lectures.- Polarized Process Algebra and Program Equivalence.- Problems on R...
CONCUR '91 is the second international conference on concurrency theory, organized in association...
This volume contains the proceedings of the 10th International Conference on Concurrency Theory (...
This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...