Concurrency and Computation: Practice and Experience

Cover image for Concurrency and Computation: Practice and Experience

Special Issue: Formal Techniques for Java-like Programs

June 2004

Volume 16, Issue 7

Pages 645–733

Issue edited by: Peter Müller, David A. Naumann, Erik Poll

  1. Editorials

    1. Top of page
    2. Editorials
    3. Research Articles
    1. You have free access to this content
  2. Research Articles

    1. Top of page
    2. Editorials
    3. Research Articles
    1. Checking ownership and confinement (pages 671–687)

      Alex Potanin, James Noble and Robert Biddle

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.799

    2. Analysing the Java package/access concepts in Isabelle/HOL (pages 689–706)

      Norbert Schirmer

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.800

SEARCH

SEARCH BY CITATION