LF Logics for concurrency: structure versus automata fromLecture Notes in Computer Science 0 Type: Book