Documents Related by Co-Citation

43 Introduction to Isabelle – Lawrence C. Paulson - 1998
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
175 Isabelle: A Generic Theorem Prover, volume 828 – Lawrence C Paulson
3430 Communication and Concurrency – R Milner - 1989
4331 Computer Architecture: a quantitative approach (3rd ed – J L Hennessy, D A Patterson - 2003
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
1418 A Calculus of Communicating Systems – R Milner - 1980
578 Term Rewriting Systems – J. W. Klop - 1992