Title: Models for Concurrency (Algebra, Logic and Applications, Vol 11)
Subjects: Concurrent engineering, Abstract Algebra, Model theory, Parallel processing (Electronic computers)