Deriving bisimulation congruences: 2-categories vs precategories (bibtex)

by Vladimiro Sassone and Paweł Sobociński

Reference:

Vladimiro Sassone and Paweł Sobociński, Deriving bisimulation congruences: 2-categories vs precategories, In Foundations of Software Science and Computation Structures, FoSSaCS '03, Springer, vol. 2620, 2003.

Bibtex Entry:

@string{lncs="LNCS"}
@InProceedings{ precategories,
	author = {Vladimiro Sassone and Pawe{\l} Soboci{\'{n}}ski},
	title = {Deriving bisimulation congruences: 2-categories vs precategories},
	booktitle = {Foundations of Software Science and Computation Structures, {FoSSaCS '03}},
	series = lncs,
	volume = {2620},
	publisher = {Springer},
	year = {2003},
	url = {https://compose.ee/pawel/papers/dbc2vp.pdf}
}