General reversibility (bibtex)
by V. Danos, J. Krivine and P. Sobociński
Reference:
V. Danos, J. Krivine and P. Sobociński, "General reversibility", In International Workshop on Expressiveness in Concurrency, Express '06, Elsevier, 2006.
Bibtex Entry:
@string{entcs="ENTCS"}
@InProceedings{ generalReversibility,
	author = {V. Danos and J. Krivine and P. Soboci{\'n}ski},
	title =  {General reversibility},
	booktitle = {International Workshop on Expressiveness in Concurrency, {Express '06}},
	series = {ENTCS},
	publisher = {Elsevier},
	year = {2006},
	url = {https://www.southampton.ac.uk/~ps1a06/papers/reversibility.pdf}
}
Powered by bibtexbrowser