Publications
|
|
|
|
|
|
-
A formal account of contracts for Web Services, by S. Carpineti, G. Castagna, C. Laneve, L. Padovani, in Proceedings of WS-FM'06,
LNCS 4184, pp. 148--162, 2006.
-
A simple calculus of proteins and cells, by C. Laneve, F. Tarissan, submitted for publication, January 2007. An extended abstract appeared in Proceedings of MeCBIC'06,
ENCS, 2006.
-
PiDuce: a project for
experimenting Web services technologies, by S. Carpineti, C. Laneve,
L. Padovani, January, 2006.
-
Smooth
Orchestrators, by C. Laneve, L. Padovani, in Proceedings of FOSSACS'06,
LNCS 3921, pp. 32--46, 2006.
-
A basic contract language
for web services, by S. Carpineti, C. Laneve, in Proceedings of ESOP 06,
LNCS 3924, pp. 197--213, 2006.
-
BoPi: a distributed
machine for experimenting web-services technologies, by S. Carpineti,
C. Laneve, P. Milazzo, in ACSD 2005, IEEE, 2005.
-
PiDuce: a process
calculus with native XML datatypes, by A. Brown, C. Laneve,
G. Meredith, in Proceedings of 2nd International Workshop on
Web Services and Formal Methods, LNCS 3670, pp. 18--34, 2005.
-
Webpi at work, by C. Laneve, G. Zavattaro,
in International Symposium on Thrustworthy Global Computing, LNCS n. 3705,
pp. 182--194, 2005.
-
Foundations
of Web Transactions, by C. Laneve, G. Zavattaro,
in Fossacs'05, LNCS 3441, pp. 282--298, 2005.
-
A Calculus for Long Running Transactions, by L. Bocchi, C. Laneve, G. Zavattaro, in
6th Int. Conference on Formal Methods for Open Object based Distributed Systems (FMOODS'03)},
LNCS n. 2884, pp. 124 -- 138, 2003.
-
Linear Forwarders, by P. Gardner, C. Laneve, L. Wishick, to appear in Information and Computation. An extended abstract appeared in CONCUR'03, LNCS
n. 2761, pp. 415 -- 430, 2003.
-
Formal Molecular Biology, by V. Danos, C. Laneve.
In Theoretical Computer Science,
Volume 325(1), pp. 69 -- 110, 2004. This is an extended, revised version of
``Graphs for Core Molecular Biology'' in Proceedings of International Workshop on
Computational Methods in Systems Biology, Rovereto, February 2003,
LNCS, and ``Core Formal Molecular Biology'', in Proceedings of ETAPS 03, Varsaw, April 2003,
LNCS.
-
Solos
in Concert , by C. Laneve, B. Victor. In Mathematical Structures in Computer Science,
Volume 13(5), pp. 657 -- 683, 2003. The extended
abstract, appeared in ICALP '99, LNCS 1644, pp. 513 -- 523,
is available here.
-
A
Type System for JVM Threads , by C. Laneve. In TCS 290, pp. 741-778,
2003. Preliminary results (with G. Bigliardi) appeared at The Third ACM
SIGPLAN Workshop on Types in Compilation (TIC 2000), Montreal, Canada,
September 21, 2000.
-
The
Fusion Machine (extended abstract), by P. Gardner, C. Laneve, L. Wischik.
In CONCUR'02, LNCS 2421, pp. 418 - 433, 2002.
-
Orchestrating
Transactions in Join Calculus, by R. Bruni, C. Laneve, U. Montanari.
In CONCUR'02, LNCS 2421, pp. 321 - 337, 2002.
-
Inheritance
in Concurrent Objects, by C. Laneve. In Formal Methods for Distributed
Processing, An Object Oriented Approach. Edited by H. Bowman and J.
Derrick. Cambridge University Press. 2001.
-
Solo Diagrams, by C. Laneve, J. Parrow, B. Victor:
in Proc. 4th Theoretical Aspects of Computer Science, TACS'01,
Lecture Notes in Computer Science 2215, pp. 127--144, Springer-Verlag, 2001.
-
Inheritance
in the join-calculus , by C. Fournet, C. Laneve, L. Maranget, D. Remy.
To appear in the Journal of Logic and Algebraic Programming. An
extended abstract appeared in
Foundations of Software Technology and Theoretical Computer Science
(FSTTCS2000), New Delhi, India, December 13-15 2000. LNCS 1974, pp. 397
-- 408.
-
A
Reduction Semantics for Java , by S. Cimato, C. Laneve, P. Ciancarini.
September 1998.
-
Bisimulations
in the Join-Calculus , by C. Fournet, C. Laneve. In TCS 266 (1-2),
pp. 569-603, 2001. The extended abstract (with M. Boreale) appeared in
PROCOMET '98 is here.
-
Implicit
typing a la ML for the join-calculus , by C. Fournet, C. Laneve, L.
Maranget, D. Remy. In CONCUR '97, LNCS 1243.
-
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.
-
On
the Dynamics of Sharing Graphs , by A. Asperti, C. Laneve. Extended
abstract in Automata, Languages and Programming, ICALP'97, LNCS
1256, pp. 259 -- 269.
-
May
and Must Testing in the Join-Calculus , by C. Laneve. Technical Report
UBLCS 96-04, March 1996.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Two
Semantics for a Language of Reactive Objects , by F. Boussinot, C.
Laneve. RR 2511 INRIA Sophia-Antipolis, March 1995.
-
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.
-
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.
-
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.
-
Paths
in the lambda-calculus , by A. Asperti, V. Danos, C. Laneve, L. Regnier.
In Logic in Computer Science 1994.
-
Distributive
Evaluations of Lambda-Calculus , by C. Laneve. Fundamenta Informaticae,
Volume 20(4), pp. 333 -- 352, June 1994.
-
Interaction
Systems , by A. Asperti, C. Laneve. In International Workshop on
Higher Order Algebras, Logic and Term Rewriting, HOA'93, LNCS 816.
-
An
Extensional Formulation of ST Bisimulation Semantics , by R. Gorrieri,
C. Laneve. In 4th Italian Conference on Theoretical Computer Science,
1992.
-
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.
|
|
|
|
|
|
|