Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Discover the profound insights within The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy by Mário S. Alvim, published by Springer Nature Switzerland AG in 2019. This comprehensive volume spans 461 pages and serves as a Festschrift honoring the esteemed Catuscia Palamidessi on her 60th birthday.

Featuring six laudations and 25 scholarly papers contributed by close collaborators and friends, this book delves into the intricate realms of computational systems. It explores essential themes such as logic, concurrency, security, and privacy, making it an invaluable resource for researchers and practitioners alike. Enhance your understanding of modern computational theories and practices with this essential addition to your library.

Whether you are a student, educator, or professional in the field, this book offers a wealth of knowledge that is both engaging and informative. Don't miss the opportunity to explore the cutting-edge discussions that shape the future of computational systems.