Home

Back

Julian Rathke: BibTex


@inproceedings{JR02-famtsco,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {A fully abstract may testing semantics for concurrent objects},
  booktitle	= {Proc. 17th Annual Symposium on Logic in Computer Science {LiCS}},
  year		= {2002},
  publisher	= {IEEE Computer Society Press},
  pages		= {101--112},
}