Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings)

Faron Moller, Graham M. Birtwistle, editors, Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings). Volume 1043 of Lecture Notes in Computer Science, Springer, 1996.

Conference: banff1996

Abstract

Abstract is missing.

Table of Contents