4 works on record
Formal methods for open object-based distributed systems
Concurrency Theory
Formal Methods for Distributed Processing
Connectionist Models of Cognition and Perception II