%T Resumable Java Bytecode \- Process Mobility for ProcessJ targeting the JVM
%A  Jan Bækgaard Pedersen,  Brian Kauke
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X 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.