Deriving Bisimulation Congruences: A 2-categorical Approach (bibtex)

by Vladimiro Sassone and Paweł Sobociński

Reference:

Vladimiro Sassone and Paweł Sobociński, Deriving Bisimulation Congruences: A 2-categorical Approach, In International Workshop on Expressiveness in Concurrency, Express '02, Elsevier, vol. 68, no. 2, 2002.

Bibtex Entry:

@string{entcs="ENTCS"}
@InProceedings{ express,
  author = 	 {Vladimiro Sassone and Pawe{\l} Soboci{\'{n}}ski},
  title = 	 {Deriving Bisimulation Congruences: A 2-categorical Approach},
  booktitle = {International Workshop on Expressiveness in Concurrency, {Express '02}},
  series = 	 {ENTCS},
  year = 	 {2002},
  volume = 	 {68},
  number = 	 {2},
  publisher = {Elsevier},
  url = {https://compose.ee/pawel/papers/1dbca2a.pdf}
}