Deriving weak bisimulation congruences from reduction systems (bibtex)
by R. Bruni, F. Gadducci, U. Montanari and P. Sobociński
Reference:
R. Bruni, F. Gadducci, U. Montanari and P. Sobociński, "Deriving weak bisimulation congruences from reduction systems", In International Conference on Concurrency Theory, Concur '05, Springer, vol. 3653, pp. 293–307, 2005.
Bibtex Entry:
@string{lncs="LNCS"}
@InProceedings{ concur05,
    author = {R. Bruni and F. Gadducci and U. Montanari and P. Soboci\'{n}ski},
    title = {Deriving weak bisimulation congruences from reduction systems},
    booktitle = {International Conference on Concurrency Theory, {Concur '05}},
    volume = {3653},
    series = lncs,
    pages = {293--307},
    publisher = {Springer},
    year = {2005},
	url = {https://www.southampton.ac.uk/~ps1a06/papers/dwbcfrs.pdf}
}
Powered by bibtexbrowser