%%% 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            = "29 Jun 2005",
%%%     filename        = "profundis-year4-bib.bib",
%%%     url             = "http://www.it.uu.se/profundis/profundis-year4-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"
%%%  }
%%% ====================================================================

@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer Verlag" }

@InProceedings{	  baldamus.m.parrow.j.ea:fully,
  author	= {Michael Baldamus and Joachim Parrow and Bj{\"o}rn Victor},
  title		= {A Fully Abstract Encoding of the $\pi$-Calculus with Data
		  Terms},
  booktitle	= {Proceedings of ICALP'05},
  year		= {2005},
  publisher	= {Springer},
  series	= {LNCS}
}

@InProceedings{	  bartoletti.m.degano.p.ea:enforcing,
  author	= {Bartoletti, Massimo and Degano, Pierpaolo and Ferrari,
		  Gianluigi},
  title		= {Enforcing Secure Service Composition},
  booktitle	= {IEEE Computer Security Foundation Workshop, to appear},
  optcrossref	= {},
  optkey	= {},
  optpages	= {},
  year		= {2005},
  optvolume	= {},
  optnumber	= {},
  optannote	= {}
}

@InProceedings{	  bartoletti.m.degano.p.ea:history-based,
  author	= {Bartoletti, Massimo and Degano, Pierpaolo and Ferrari,
		  Gianluigi},
  title		= {History-based Access Control with Local Policies},
  booktitle	= {FOSSACS 2005},
  optcrossref	= {},
  optkey	= {},
  optpages	= {},
  year		= {2005},
  series	= {Lectures Notes in Computer Science},
  volume	= {3441},
  optnumber	= {},
  publisher	= {Springer},
  optannote	= {}
}

@Article{	  caires.l.lozes.e:elimination,
  author	= {L. Caires and E. Lozes},
  title		= {Elimination of quantifiers and undecidability in spatial
		  logics for concurrency},
  journal	= {Theor.\ Comput.\ Sci.},
  year		= {2005},
  publisher	= {Elsevier Science Publishers Ltd.},
  note		= {Accepted for publication}
}

@InProceedings{	  dantchev.s.valencia.fd:on,
  author	= {S. Dantchev and F.D. Valencia},
  title		= {On infinite CSP's},
  booktitle	= {Proc. Third International CP'05 Workshop on Modelling and
		  Reformulating CSP's},
  year		= 2005
}

@Unpublished{	  deng.y.sangiorgi.d:ensuring,
  author	= {Deng, Y. and Sangiorgi, D.},
  title		= {Ensuring termination by typability},
  year		= {2005},
  note		= {Submitted}
}

@InProceedings{	  denicola.r.ferrari.g.ea:process,
  author	= {DeNicola, Rocco and Ferrari, Gianluigi and Montanari, Ugo
		  and Pugliese, Rosario and Tuosto, Emilio},
  title		= {A Process Calculus for QoS-Aware Applications},
  booktitle	= {Coordination 2005},
  optcrossref	= {},
  optkey	= {},
  optpages	= {},
  year		= {2005},
  series	= {Lectures Notes in Computer Science},
  volume	= {3454},
  optnumber	= {},
  publisher	= {Springer},
  optannote	= {}
}

@InProceedings{	  ferrari.g.montanari.u.ea:modelling,
  author	= {Gianluigi Ferrari and Ugo Montanari and Emilio Tuosto and
		  Bj{\"o}rn Victor and Kidane Yemane},
  title		= {Modelling Fusion calculus using HD-automata},
  booktitle	= {To appear in In First Conference on Algebra and Coalgebra
		  in Computer Science CALCO'05},
  year		= {2005},
  publisher	= {Springer},
  series	= {LNCS}
}

@InProceedings{	  lluch-lafuente.a.montanari.u:quantitative,
  author	= {Alberto Lluch-Lafuente and Ugo Montanari},
  title		= {Quantitative $\mu$-calculus and CTL defined over
		  constraint semirings},
  booktitle	= {QAPL (2005)},
  optcrossref	= {},
  optkey	= {},
  pages		= {1-30},
  year		= {2005},
  series	= {Electronic Notes in Computer Science},
  optnumber	= {},
  publisher	= {Elsevier},
  optannote	= {}
}

@InProceedings{	  miculan.m.yemane.k:unifying,
  author	= {Marino Miculan and Kidane Yemane},
  title		= {A Unifying Model of Variables and Names},
  booktitle	= {Proceedings of FoSSaCS 2005},
  pages		= {},
  year		= 2005,
  editor	= {},
  volume	= {},
  series	= lncs,
  month		= apr,
  publisher	= springer
}