Deriving Bisimulation Congruences Using 2-categories (bibtex)

by Vladimiro Sassone and Paweł Sobociński

Reference:

Vladimiro Sassone and Paweł Sobociński, Deriving Bisimulation Congruences Using 2-categories, In Nordic Journal of Computing, vol. 10, no. 2, pp. 163–183, 2003.

Bibtex Entry:

@Article{sassonesobocinski:njc,
  author = 	 {Vladimiro Sassone and Pawe{\l} Soboci{\'{n}}ski},
  title = 	 {Deriving Bisimulation Congruences Using 2-categories},
  journal =  {Nordic Journal of Computing},
  year = 	 {2003},
  volume = 	 {10},
  number = 	 {2},
  pages = 	 {163--183},
  url = {https://compose.ee/pawel/papers/grposNJC.pdf}
}