Cosimo Laneve's bibliography

Notes on the access to the files: 
The files are in gzipped-postscript format. You need to gunzip them
before printing.


Optimal Reductions

lncshoa.ps.gz 
Interaction Systems,  by A. Asperti, C. Laneve.
In International Workshop on Higher Order Algebras, Logic and
Term Rewriting, HOA'93, LNCS 816.

is1.ps.gz
Interaction Systems I: the theory of optimal reductions,  by
A. Asperti, C. Laneve. In Mathematical Structures in Computer Science,
Volume 4(4), pp. 457 - 504, 1995. An extended abstract is appeared in 
Theoretical Aspects of Computer Science, TACS'94, LNCS 789.

is2.ps.gz
Interaction Systems II: the practice of optimal reductions,  by
A. Asperti, C. Laneve.  In Theoretical Computer Science, Volume 159(2),
pp. 191 -- 244, 1996. An extended abstract is appeared in 
Colloquium on Trees in Algebra and Programming, CAAP'93, LNCS 668.

tcs-rta.ps.gz
Paths, Computations and Labels in the lambda-calculus,  by
A. Asperti, C. Laneve.  In Theoretical Computer Science, Volume 142(2),
pp. 277 -- 297, 1995. An extended abstract is appeared in 
Rewriting Techniques and Applications, RTA'93, LNCS 690.

procLICS++.ps.gz
Paths in the lambda-calculus,  by A. Asperti, V. Danos, C. Laneve,
L. Regnier.  In Logic in Computer Science 1994.

llncstcla.ps.gz
Comparing lambda-calculus translations in Sharing Graphs,  by
A. Asperti, C. Laneve. In International Conference on Typed Lambda
Calculi and Applications, TLCA'95. LNCS 902.

ICTCS.ps.gz
An Investigation on the Optimal Implementation of Processes, by  
C. Laneve. In Fifth Italian Conference on Theoretical Computer Science,
1996. The full paper is a Technical Report UBLCS 96-01, January 1996.

fullicalp.ps.gz
On the Dynamics of Sharing Graphs, by A. Asperti, C. Laneve. In
ICALP'97, LNCS 1256. It is
also Technical Report UBLCS 96-08, University of Bologna, April 1996.


Lambda Calculi

dis.ps.gz
Distributive Evaluations of Lambda-Calculus, by C. Laneve. 
Fundamenta Informaticae, Volume 20(4), pp. 333 -- 352, June 1994.

ape.ps.gz
Axiomatizing Permutation Equivalence, by C. Laneve, U. Montanari.
Mathematical Structures in Computer Science, Volume 6(3), pp. 219
-- 250, June 1996. An extended abstract is appeared in 3rd Intern.
Conf. on Algebraic and Logic Programming, ALP'92, LNCS 632.

dpmlc.ps.gz
The Discriminating Power of Multiplicities in Lambda-Calculus,
by G. Boudol, C. Laneve. In Information and Computation,
Volume 126(1), pp. 83 --102, April 1996. An extended abstract is
appeared in 11th Conference on the Mathematical Foundations of 
Programming Semantics, MFPS'95.

book.ps.gz
Lambda-Calculus, Multiplicities and the Pi-Calculus, by G. Boudol, C. Laneve. 
To appear in Process Calculus:  Essays in Honour of Robin Milner,
Volume 2, edited by G.  Plotkin, C. Stirling e M. Tofte.  1997.


Concurrent Calculi and Mobility

splitst.ps.gz
Split and ST Bisimulation Semantics, by R. Gorrieri, C. Laneve. In 
Information and Computation, Volume 118(2), pp. 272 - 288, May 1995.
An extended abstract is appeared in Mathematical Foundations of
Computer Science, MFCS'91, LNCS 520.

stext.ps.gz
An Extensional Formulation of ST Bisimulation Semantics,
by R. Gorrieri, C. Laneve. In 4th Italian Conference on
Theoretical Computer Science, 1992.

mfcs92.ps.gz
Mobility in the cc-paradigm, by C. Laneve, U. Montanari. Revised 
version of the paper in Mathematical Foundations of Computer Science,
MFCS'92, LNCS 629.

ftp://ftp.cs.unibo.it/pub/UBLCS/96-04.ps.gz
May and Must Testing in the Join-Calculus, by  C. Laneve. 
Technical Report UBLCS 96-04, University of Bologna, March 1996.

typing.ps.gz
Implicit typing a la ML for the join-calculus, by C. Fournet, C. Laneve,
L. Maranget, D. Remy. In CONCUR '97, LNCS series.

equiv.ps.gz
Bisimulations in the Join-Calculus, by M. Boreale, C. Fournet, C. Laneve,
October 1997.

Object-Orientation

ftp://ftp.inria.fr/INRIA/publication/RR/RR-2511.ps.gz
Two Semantics for a Language of Reactive Objects, by F. Boussinot,
C. Laneve. RR 2511 INRIA Sophia-Antipolis, March 1995.

javasem1.ps.gz
A Reduction Semantics for Java, by S. Cimato, C. Laneve, P. Ciancarini.
September 1998.

obj.ps.gz
Inheritance in the join-calculus, by C. Fournet, C. Laneve,
L. Maranget, D. Remy. October 1998.