Documents Related by Co-Citation

42 Introduction to Isabelle – Lawrence C. Paulson - 1998
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
3242 Communication and Concurrency – R Milner - 1989
4064 Computer Architecture: A Quantitative Approach, 4th Edition – J L Hennessy, D Patterson - 2006
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
1351 A calculus of communicating systems – R Milner - 1980
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
568 Term Rewriting Systems – J. W. Klop - 1992
645 Systematic Software Development Using VDM – C B Jones - 1986