Howard BowmanBooksFormal Methods for Distributed ProcessingConnectionist Models of Cognition and Perception IIFormal methods for open object-based distributed systemsConcurrency TheoryAuthor data: Open Library