Active Bibliography

815 The Temporal Logic of Actions – Leslie Lamport - 1993
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
1111 Proof-Carrying Code – George C. Necula - 1997
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985