Models for Concurrency presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations.
Tracing development of scientific sociology from Comte onwards, this book provides a narrative history of figures, ideas, and schools that lie behind ..