Home

Back

Julian Rathke: BibTex


@article{JR05-famtsco,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {A fully abstract may testing semantics for concurrent objects},
  journal	= {Theoretical Computer Science},
  year		= {2005},
  publisher	= {Elsevier},
  volume	= {338},
  pages		= {17--63},
}