General reversibility (bibtex)

by Vincent Danos, Jean Krivine and Paweł Sobociński

Reference:

Vincent Danos, Jean Krivine and Paweł Sobociński, General reversibility, In International Workshop on Expressiveness in Concurrency, Express '06, Elsevier, 2006.

Bibtex Entry:

@string{entcs="ENTCS"}
@InProceedings{ generalReversibility,
	author = {Vincent Danos and Jean Krivine and Pawe{\l} Soboci{\'{n}}ski},
	title =  {General reversibility},
	booktitle = {International Workshop on Expressiveness in Concurrency, {Express '06}},
	series = {ENTCS},
	publisher = {Elsevier},
	year = {2006},
	url = {https://compose.ee/pawel/papers/reversibility.pdf}
}