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)