Deriving weak bisimulation congruences from reduction systems (bibtex)

by Roberto Bruni, Fabio Gadducci, Ugo Montanari and Paweł Sobociński

Reference:

Roberto Bruni, Fabio Gadducci, Ugo Montanari and Paweł 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 = {Roberto Bruni and Fabio Gadducci and Ugo Montanari and Pawe{\l} 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://compose.ee/pawel/papers/dwbcfrs.pdf}
}