The refereed proceedings of the 30th International Colloquium on Automata, Languages and Programm...

CONCUR '91 is the second international conference on concurrency theory, organized in association...

Invited Lectures.- Temporal Process Logic.- An Unfolding Algorithm for Synchronous Products of Tr...

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...