Eric’s Reviews > Modeling and Analysis of Communicating Systems > Status Update

I’m curious to explore the connections between Word Processing in Groups and process calculi.

The preface was scathing. I love it. “None of these approaches quite made it. In this book, we’ll show you the way.”