Home

Back

Julian Rathke: BibTex


@article{HLR01-unifimpc,
  author	= {Hennessy, Matthew and Lin, Huimin and Rathke, Julian},
  title		= {Unique fixpoint induction for message-passing process calculi},
  journal	= {Science of Computer Programming},
  year		= {2001},
  volume	= {41},
  pages		= {241--275},
}