[Prev][Next][Index][Thread]
CFP: JLAP special issue on picalculus

To: concurrency@cwi.nl, eapls@jiscmail.ac.uk, PetriNets@daimi.au.dk, types@cis.upenn.edu, theorynt@listserv.nodak.edu, eatcsit@cs.unibo.it, eacsl@dimi.uniud.it, logic@CS.Cornell.EDU, logic@theory.lcs.mit.edu, amast@cs.utwente.nl, tfmlist@doc.ic.ac.uk

Subject: CFP: JLAP special issue on picalculus

From: Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>

Date: 15 Feb 2001 16:26:23 +0100

Sender: victor@DoCS.UU.SE
[Apologies for multiple copies.]

Call for Papers
Journal of Logic and Algebraic Programming
Special Issue on the PICALCULUS
Deadline for submissions: September 1, 2001
(see also http://www.docs.uu.se/jlap01/)

The Journal of Logic and Algebraic Programming
(http://www.elsevier.com/locate/jlap) is an international journal
whose aim is to publish original work in the areas of logical and
algebraic methods and techniques for programming in its broadest
sense. The Journal of Logic and Algebraic Programming complements
Elsevier's Science of Computer Programming and Theoretical Computer
Science by its focus on the foundations of logical, algebraic and
categorical methods for programming.
The picalculus, originally introduced by Robin Milner, Joachim
Parrow, and David Walker back in 1989 arose as a generalization of the
algebraic process calculus CCS. In picalculus, the simple idea is to
allow processes to exchange specific values channel names themselves
and thereby to dynamically change their interconnection structures:
processes become mobile. During the last decade, the picalculus has
seen an enormous proliferation of variants, techniques and
applications, such that there is now a whole familiy of "calculi for
mobile processes" (see, e.g., http://lampwww.epfl.ch/mobility/).
This special issue covers the spectrum from theoretical results to
concrete applications of calculi for mobile processes, with an
emphasis on new techniques and methodologies, as well as experiences
with their application in practice. Submissions are solicited on
topics including, but not limited to:
 applications
 implementations
 extensions
 higherorder, objectoriented, distributed, securityenhanced,
probabilistic, realtime, ...
 programming
 highlevel languages
 type systems
 specification techniques
 modal and temporal logics
 verification techniques
 algorithms & tools
 theoretical results
We look for original, unpublished contributions of high quality not
submitted elsewhere. Deadline for submissions is September 1, 2001.
We anticipate publication of the special issue in 2002. Authors are
requested to submit their paper electronically to both guest editors,
either in postscript or in PDF format. We encourage the use of the
Elsevier style file with LaTeX (see www.elsevier.com/locate/latex).
In order to speed up the review process, authors are strongly
encouraged to send (tentative) title and abstract to the guest editors
as soon as available.
Guest editors:
Uwe Nestmann Uwe.Nestmann@epfl.ch
EPFL  DI  LAMP
Ecublens
CH1015 Lausanne
Switzerland
Björn Victor Bjorn.Victor@docs.uu.se
Dept. of Computer Systems
Information Technology
Uppsala University
Box 337
SE751 05 Uppsala
Sweden