You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Logics for concurrency
:
structure versus automata; [VIII. Banff Higher Order Workshop, held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]