|
Cosimo Laneve's publications
-
A Framework for Deadlock Detection in coreABS, E. Giachino, C. Laneve, M. Lienhardt,
To Appear in SoSym, 2014.
-
Deadlock analysis of unbounded process networks,
by E. Giachino, N. Kobayashi, C. Laneve,
in CONCUR 2014, LNCS 8704, pp. 63--77, Springer, 2014.
-
Towards the typing of resource deployment,
by E. Giachino, C. Laneve,
in 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LNCS, Springer, 2014.
-
Deadlock detection in linear recursive programs,
by E. Giachino, C. Laneve,
in 14th International School on Formal Methods for thefor the Design of
Computer, Communication and Software Systems:
Executable Software Models, LNCS 8483, pp. 26--64, Springer, 2014.
-
Engineering Virtualized Services,
by E. Albert, F. de Boer, R. Hahnle, E. B. Johnsen, C. Laneve.
In Proc. 2nd Nordic Symposium on Cloud Computing and Internet Technologies
(NordiCloud 2013). ACM DL, 2013.
-
An Algebraic Theory for Web Services Contracts,
by C. Laneve, L. Padovani. In Proc. 10th International Conference on
integrated Formal Methods (invited talk). LNCS, Springer, 2013.
-
DeadLock Analysis of Concurrent Objects -- Theory and Practice,
by E. Giachino, C.A. Grazia, C. Laneve, M. Lienhardt, P. Wong. January 2013.
-
A beginner's guide to the deadLock Analysis Model,
by E. Giachino, C. Laneve, In Proceedings of
Seventh International Symposium on
Trustworthy Global Computing (invited talk), LNCS, Springer, 2013.
-
Deecidability Problems for Actor Systems,
by F. De Boer, M. Jaghoori, C. Laneve, G. Zavattaro, in Proceedings CONCUR 2012,
Newcastle, UK, September 2012.
Full version.
-
Reversible Structures,
by L. Cardelli, C. Laneve, November 2010.
Reversible Structures (Extended abstract)
-
Analysis of deadlocks in object groups,
by E. Giachino, C. Laneve, in Proceedings FMOODS-FORTE 2011.
-
The interval analysis of multilinear expressions,
by C. Laneve, T. Lascu, V. Sordoni, Electronic Notes in Theoretical Computer Science, TAPAS 2010, September 2010.
-
The expressive power of synchronizations,
by C. Laneve, A. Vitale, April 2010. Proceedings of LICS'2010.
Full version.
-
A qualitative analysis of formal molecular biology,
by G. Delzanno, C. Di Giusto, M. Gabbrielli, C. Laneve,
G. Zavattaro,
October 2008.
-
From biochemistry to stochastic processes,
by C. Laneve, S. Pradalier, G. Zavattaro, October 2008.
-
Expressivity in the kappa-family, by C. Laneve, A. Vitale,
in Proceedings of MFPS 24, ENTCS, June 2008.
-
The pairing of contracts and session types,
by C. Laneve, L. Padovani, in LNCS 5065, pp. 681 -- 700. 2008.
-
Modelizations and Simulations of Nano Devices in nanok calculus,
by a. Credi, M. Garavelli, C. Laneve, S. Pradalier,
S. Silvi, G. Zavattaro, in CMSB 2007.
-
The must preorder revisited,
by C. Laneve, L. Padovani, in Proceedings of CONCUR'07,
pp. 212--225, LNCS 4703.
-
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, in TCS,
January 2008. 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, 2009.
-
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.
-
Solos
in Concert , by C. Laneve, B. Victor. In Mathematical Structures in Computer Science,
Volume 13(5), pp. 657 -- 683, 2003.
-
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,
LNCS 2215, pp. 127--144, Springer-Verlag, 2001.
-
Inheritance in the join-calculus ,
by C. Fournet, C. Laneve, L. Maranget, D. Remy.
In the Journal of Logic and Algebraic Programming.
-
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.
|