This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Continue readingThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Continue readingModern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Continue readingThis volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Continue readingThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Continue readingThe two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography ...
Continue readingThis two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on ...
Continue readingThis two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on ...
Continue readingThis book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people ...
Continue readingThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Continue readingThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Continue readingThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue readingThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue readingThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Continue readingThis book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Continue readingIn this book, a set of internationally renowned economists from both sides of the Atlantic analyse the challenges that lie ...
Continue readingThis volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
Continue readingThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Continue readingThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Continue readingpresent CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Continue reading