Logics for concurrency : structure versus automata / Faron Moller and Graham Birtwistle, eds. - Berlin : Springer, 1996 - 266 p. - Lecture notes in computer science ; v. 1043 .

3540609156


Electronic data processing--Distributed processing
Parallel processing (Computer science)

QA76.9 D5 / M645