@InProceedings{PedersenKauke09,
  title =        "{R}esumable {J}ava {B}ytecode - {P}rocess {M}obility for {P}rocess{J} targeting the {JVM}",
  author=        "Pedersen,  Jan Bækgaard and Kauke,  Brian",
  editor=        "Welch, Peter H. and Roebbers,  Herman and Broenink,  Jan F. and Barnes,  Frederick R. M. and Ritson,  Carl G. and Sampson,  Adam T. and Stiles,  G. S. and Vinter,  Brian",
  pages =        "159--172",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2009",
  isbn=          "978-1-60750-065-0",
  year=          "2009",
  month=         "nov",
  abstract=      "This paper describes an implementation of resumable and
     mobile
processes for a new process-oriented language called
     ProcessJ.
ProcessJ is based on CSP and the pi-calculus; it
     is structurally very
close to occam-pi, but the syntax is
     much closer to the imperative
part of Java (with new
     constructs added for process orientation). One
of the
     targets of ProcessJ is Java bytecode to be executed on the
     Java
Virtual Machine (JVM), and in this paper we describe
     how to implement
the process mobility features of ProcessJ
     with respect to the Java
Virtual Machine. We show how to add
     functionality to support
resumability (and process mobility)
     by a combination of code rewriting
(adding extra code to the
     generated Java target code), as well as
bytecode rewriting."
}