db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
@InProceedings{PedersenKauke09,
title = "{R}esumable {J}ava {B}ytecode - {P}rocess {M}obility for {P}rocess{J} targeting the {JVM}",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
author= "Pedersen, Jan Bækgaard and Kauke, Brian",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
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",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
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."
}