Introduction to Concurrency Theory : Transition Systems and CCS

by Gorrieri, Roberto, Versari, Cristian
Published 2015

Modelling Distributed Systems

by Fokkink, Wan
Published 2007

Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

by Hromkovič, Juraj, Klasing, Ralf, Pelc, A., Ruzicka, Peter
Published 2005

Complexity Theory and Cryptology : An Introduction to Cryptocomplexity

by Rothe, Jörg
Published 2005

Parameterized Complexity Theory

by Flum, J., Grohe, M.
Published 2006

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors

by Kurki-Suonio, R.
Published 2005

Models of Computation

by Bruni, Roberto, Montanari, Ugo
Published 2017

Decision Procedures : An Algorithmic Point of View

by Kroening, Daniel, Strichman, Ofer
Published 2016

An Introduction to Online Computation : Determinism, Randomization, Advice

by Komm, Dennis
Published 2016

Graphs and Algorithms in Communication Networks : Studies in Broadband, Optical, Wireless and Ad Hoc Networks

Published 2010

Software Engineering 3 : Domains, Requirements, and Software Design

by Bjørner, Dines
Published 2006

Software Engineering 2 : Specification of Systems and Languages

by Bjørner, Dines
Published 2006

Formal Methods for Software Engineering : Languages, Methods, Application Domains

by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022