Deriving bisimulation congruences: 2-categories vs precategories (bibtex)
by V. Sassone and P. Sobociński
Reference:
V. Sassone and P. 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 = {V. Sassone and P. 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://www.southampton.ac.uk/~ps1a06/papers/dbc2vp.pdf}
}
Powered by bibtexbrowser