%%% Please DO NOT EDIT this file - it was automatically generated.
%%% Publications of the PROFUNDIS project, EU FET-GC contract IST-2001-33100
%%%
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Bj{\"o}rn Victor",
%%%     date            = "09 Jan 2003",
%%%     filename        = "profundis-bib.bib",
%%%     url             = "http://www.it.uu.se/profundis/profundis-bib.bib",
%%%     www-home        = "http://www.it.uu.se/profundis/",
%%%     address         = "Department of Information Technology,
%%%                        Uppsala University,
%%%                        Box 337,
%%%                        SE-751 05 Uppsala, SWEDEN",
%%%     telephone       = "+46 18 471 0000",
%%%     FAX             = "+46 18 511925",
%%%     email           = "Bjorn.Victor at it.uu.se",
%%%     dates           = {2002--},
%%%     keywords        = "",
%%%     supported       = "yes",
%%%     supported-by    = "Bj{\"o}rn Victor",
%%%     abstract        = "Publications of the PROFUNDIS project,
%%%			   EU FET-GC contract IST-2001-33100"
%%%  }
%%% ====================================================================


@InProceedings{	  amadio.r.charatonik.w:on,
  author	= {R. Amadio and W. Charatonik},
  title		= {On name generation and set-based analysis in {D}olev-{Y}ao
		  model (Extended Abstract)},
  booktitle	= {Proc. CONCUR'02},
  year		= {2002},
  volume	= {2421},
  series	= {LNCS},
  publisher	= {Springer Verlag}
}

@Article{	  amadio.r.lugiez.d.ea:on,
  author	= { R. Amadio and D. Lugiez and V. Vanackere },
  title		= { On the symbolic reduction of processes with cryptographic
		  functions},
  journal	= {Theoretical Computer Science},
  note		= {To appear}
}

@Article{	  amadio.r.meyssonnier.c:on,
  author	= {R. Amadio and C. Meyssonnier},
  title		= {On decidability of the control reachability problem in the
		  asynchronous pi-calculus},
  journal	= {Nordic Journal of Computing},
  year		= {2002},
  volume	= {9},
  number	= {2},
  pages		= {70-101}
}

@TechReport{	  amadio.rm.boudol.g.ea:on-message-deliverability-and-non-uniform-receptivity,
  author	= {Roberto M. Amadio and Gérard Boudol and Cédric
		  Lhoussaine},
  title		= {{On message deliverability and non-uniform receptivity}},
  institution	= {{LIF}},
  address	= {Marseille, France},
  type		= {Research report},
  number	= {05-2002},
  month		= {May},
  year		= {2002},
  note		= {Accepted for pubblication in Fundamenta Informaticae.}
}

@InProceedings{	  boreale.m.buscemi.m:framework,
  author	= {M. Boreale and M. Buscemi},
  title		= {A Framework for the Analysis of Security Protocols},
  booktitle	= {Proc. CONCUR'02},
  year		= {2002},
  volume	= {2421},
  series	= {LNCS},
  publisher	= {Springer Verlag}
}

@Manual{	  boreale.m.buscemi.m:sta,
  title		= {STA, a Tool for the Analysis of Cryptographic Protocols
		  (Online version)},
  author	= {M. Boreale and M. Buscemi},
  organization	= {Dipartimento di Sistemi ed Informatica, Universit\`a di
		  Firenze, and Dipartimento di Informatica, Universit\`a di
		  Pisa,},
  url		= {http://www.dsi.unifi.it/~boreale/tool.html},
  year		= {2002}
}

@InProceedings{	  bracciali.a.brogi.a.ea:security,
  author	= "A. Bracciali and A. Brogi and G. Ferrari and E. Tuosto",
  title		= "Security and dynamic composition of open systems",
  booktitle	= "Proc. Int. Conference on Parallel and Distributed
		  Techniques and applications",
  year		= "2002",
  publisher	= "CSREA Press",
  address	= "USA"
}

@InProceedings{	  buscemi.m.montanari.u:first,
  author	= {M. Buscemi and U. Montanari},
  title		= {A First Order Coalgebraic Model of Pi-Calculus Early
		  Observational Equivalence},
  booktitle	= {Proc. CONCUR'02},
  year		= {2002},
  volume	= {2421},
  series	= {LNCS},
  publisher	= {Springer Verlag},
  note		= {{Full version in Technical Report TR-02-14, Dipartimento
		  di Informatica, Universit\'a di Pisa, August 2002.}}
}

@Article{	  caires.l.cardelli.l:spatial,
  author	= "L. Caires and L. Cardelli.",
  title		= "A Spatial Logic for Concurrency (Part I)",
  journal	= "Information and Computation",
  year		= "2002",
  note		= "Accepted for publication."
}

@InProceedings{	  caires.l.cardelli.l:spatial*1,
  author	= "L. Caires and L. Cardelli",
  title		= "A Spatial Logic for Concurrency (Part II)",
  booktitle	= "CONCUR 2002: Concurrency Theory (13th International
		  Conference)",
  year		= "2002",
  publisher	= "Lecture Notes in Computer Science. Springer-Verlag",
  address	= "Berlin",
  note		= "Also as Technical Report {3/2002/DI/PLM/FCTUNL}"
}

@Unpublished{	  caires.l:model-checking,
  author	= "L. Caires",
  title		= "Model-Checking of Spatial Properties in the pi-calculus",
  year		= "2002",
  month		= "December",
  note		= "Research report~3, {DI/FCT/UNL}"
}

@Unpublished{	  ferrari.g.gnesi.s.ea:model,
  author	= {G. Ferrari and S. Gnesi and U. Montanari and M. Pistore},
  title		= { A Model Checking Verification Environment for Mobile
		  Processes.},
  note		= {Submitted to ACM TOSEM (under revision)},
  year		= {2002}
}

@TechReport{	  ferrari.g.gnesi.s.ea:verification,
  author	= {G. Ferrari and S. Gnesi and U. Montanari and R. Raggi and
		  G. Trentanni and E. Tuosto},
  title		= {Verification on the Web},
  institution	= {Dipartimento di Informatica, Universit\`a di Pisa},
  year		= {2002},
  number	= {TR-02-18}
}

@InProceedings{	  ferrari.g.moggi.e.ea:guardians,
  author	= {G. Ferrari and E. Moggi and R. Pugliese},
  title		= {Guardians for Ambient Based Monitoring},
  booktitle	= {Proc. Foundations of Wide Area Network Programming},
  year		= {2002},
  series	= "ENTCS",
  publisher	= {Elseviers}
}

@TechReport{	  ferrari.g.moggi.e.ea:metaklaim,
  author	= {G. Ferrari and E. Moggi and R. Pugliese},
  title		= {MetaKlaim: A type safe multi-stage language for Global
		  computing},
  year		= 2002,
  number	= {Under revision for Mathematical Structures in Computer
		  Science}
}

@TechReport{	  ferrari.g.montanari.u.ea:from,
  author	= {G. Ferrari and U. Montanari and R. Raggi and E. Tuosto},
  title		= {From Coalgebraic Specification to Toolkit Development},
  institution	= {Technical Report, Dipartimento di Informatica Universita'
		  di Pisa},
  year		= {2002},
  number	= {TR-02-19}
}

@InProceedings{	  ferrari.g.montanari.u.ea:minimizing,
  author	= {G. Ferrari and U. Montanari and M. Pistore.},
  title		= {Minimizing Transition Systems for Name-passing Calculi: A
		  Co-algbraic Formulation},
  booktitle	= {Proc. FOSSACS'02},
  year		= {2002},
  volume	= {2303},
  series	= {LNCS},
  publisher	= {Springer Verlag}
}

@TechReport{	  gay.s.vasconcelos.vt.ea:session,
  address	= {Campo Grande, Edifício C5, 1749-016 Lisboa, Portugal},
  author	= {S. Gay and V. T. Vasconcelos and A. Ravara},
  institution	= {Department of Computer Science, University of Lisbon},
  note		= {Submitted for publication},
  title		= {Session types for inter-process communication},
  type		= {Preprint},
  year		= {2002},
  url		= {http://www.cs.math.ist.utl.pt/ftp/pub/RavaraA/02-GVR-sessions.pdf}

}

@Unpublished{	  giannini.p.sangiorgi.d.ea:distributed,
  author	= {Giannini, P. and Sangiorgi, D. and Valente, A.},
  title		= {A distributed abstract machine for {S}afe {A}mbients},
  year		= {2002},
  note		= {Extended and refined version of a paper appeared in
		  \emph{Icalp.01}}
}

@InProceedings{	  hirschkoff.d.lozes.e.ea:separability,
  author	= {D. Hirschkoff and E. Lozes and D. Sangiorgi},
  title		= {Separability, {E}xpressiveness and {D}ecidability in the
		  {A}mbient {L}ogic},
  booktitle	= {Proc. of {LICS}'02},
  year		= 2002,
  optcrossref	= {},
  optkey	= {},
  optpages	= {},
  optyear	= {2002},
  opteditor	= {},
  optvolume	= {},
  optnumber	= {},
  optseries	= {},
  optaddress	= {},
  optmonth	= {},
  optorganization={},
  optpublisher	= {IEEE Computer Society},
  optnote	= {},
  optannote	= {}
}

@Unpublished{	  levi.f.sangiorgi.d:mobile,
  author	= {Levi, F. and Sangiorgi, D.},
  title		= {Mobile Safe Ambients},
  year		= {2002},
  note		= {To appear in the {TOPLAS} journal. {Extended and refined
		  version of a paper appeared in \emph{Proc.\ 27th {POPL}},
		  {ACM} {P}ress} }
}

@TechReport{	  lugiez.d.zilio.sd:multitrees-automata-presburgers-constraints-and-tree-logics,
  author	= {Denis Lugiez and Silvano Dal Zilio},
  title		= {{Multitrees Automata, Presburger's Constraints and Tree
		  Logics}},
  institution	= {{LIF}},
  address	= {Marseille, France},
  type		= {Research report},
  number	= {08-2002},
  month		= {June},
  year		= {2002},
  url		= {http://www.lim.univ-mrs.fr/Rapports/08-2002-Lugiez-DalZilio.html}

}

@TechReport{	  lugiez.d.zilio.sd:xml-schema-tree-logic-and-sheaves-automata,
  author	= {Denis Lugiez and Silvano Dal Zilio},
  title		= {{XML Schema, Tree Logic and Sheaves Automata}},
  institution	= {{INRIA}},
  type		= {Research report},
  number	= {4631},
  month		= {November},
  year		= {2002},
  url		= {http://www.inria.fr/rrrt/rr-4631.html}
}

@TechReport{	  martins.f.ravara.a:controling,
  address	= {1049-001 Lisboa, Portugal},
  author	= {F. Martins and A. Ravara},
  institution	= {Section of Computer Science, Department of Mathematics,
		  Instituto Superior T\'ecnico},
  note		= {In preparation},
  title		= {Controling migration in lsdpi},
  type		= {Preprint},
  year		= {2002}
}

@Unpublished{	  monteiro.l:transition,
  author	= {L. Monteiro},
  title		= {Transition Systems with Spatial Structures: A Coalgebraic
		  Framework},
  note		= {Manuscript},
  year		= {2002}
}

@Manual{	  raggi.r.tuosto.e:hd-reducer,
  title		= {HD-Reducer (Online version) },
  author	= {R. Raggi and E. Tuosto},
  organization	= {Dipartimento di Informatica, Universita' di Pisa},
  url		= {http://jordie.di.unipi.it:8080/mihda},
  year		= {2002}
}

@TechReport{	  ravara.a.resende.p.ea:algebra,
  address	= {1049-001 Lisboa, Portugal},
  author	= {A. Ravara and P. Resende and V. Vasconcelos},
  institution	= {Section of Computer Science, Department of Mathematics,
		  Instituto Superior T\'ecnico},
  note		= {Submitted for publication},
  title		= {An Algebra of Behavioural Types},
  type		= {Preprint},
  year		= {2002},
  url		= {http://www.cs.math.ist.utl.pt/ftp/pub/RavaraA/02-RRV-abt.pdf}

}

@InProceedings{	  sangiorgi.d:types,
  author	= {Sangiorgi, D.},
  booktitle	= {Proc.\ {CONCUR} '02},
  title		= {Types, or: \mbox{Where's the difference between CCS and
		  $\pi$?}},
  publisher	= {Springer Verlag},
  series	= {LNCS},
  year		= {2002},
  volume	= {2421},
  note		= {accompanying paper for an invited talk}
}

@InProceedings{	  teller.d.zimmer.p.ea:using,
  author	= {D. Teller and P. Zimmer and D. Hirschkoff},
  title		= {Using {A}mbients to {C}ontrol {R}esources},
  booktitle	= {Proceedings of the 13th {I}nt. {C}onf. in {C}oncurrency
		  {T}heory ({CONCUR}'02)},
  pages		= {288--303},
  year		= {2002},
  volume	= {2421},
  series	= {LNCS},
  publisher	= {Springer Verlag}
}

@InProceedings{	  vallecillo.a.vasconcelos.vt.ea:typing,
  author	= {A. Vallecillo and V. T. Vasconcelos and A. Ravara},
  title		= {Typing the Behavior of Objects and Components using
		  Session Types},
  booktitle	= {Electronic Notes in Theoretical Computer Science},
  volume	= {68},
  issue		= {3},
  publisher	= {Elsevier Science Publishers},
  editor	= {Antonio Brogi and Jean-Marie Jacquet},
  year		= {2002},
  note		= {presented at FOCLASA'02 - 1st International Workshop on
		  Foundations of Coordination Languages and Software
		  Architectures }
}

@InProceedings{	  vanackere.v:trust,
  author	= {V. Vanack\`ere},
  title		= {The {TRUST} protocol analyser, Automatic and efficient
		  verification of cryptographic protocols},
  booktitle	= {Verification Workshop - Verify02},
  year		= {2002}
}

@Manual{	  vanackere.v:trust*1,
  title		= {The {TRUST} protocol analyser},
  author	= {V. Vanack\`ere},
  organization	= {Lab. Informatique de Marseille},
  url		= {http://www.cmi.univ-mrs.fr/~vvanacke/trust.html},
  year		= {2002}
}