We introduce transactions into libraries of concurrent data structures; such transactions can be used to ensure atomicity of sequences of data structure operations. By focusing on transactional access to a well-defined set of data structure operations, we strike a balance…
Leslie Lamport will answer questions regarding his Heidelberg Laureate Forum lecture.
The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016. Click here for more information and photos.
Workers in forests: developments in parallel decision diagrams
Rigorous System Design in BIP
With the deepest sadness, we announce Helmut Veith's passing on March 12, 2016.
Reasoning about Interference (or Lack Thereof)
An Algebra of Modular Systems
Markov chains and Markov decision processes in Isabelle/HOL
