Deriving Bisimulation Congruences: A 2-categorical Approach (bibtex)
by V. Sassone and P. Sobociński
Reference:
V. Sassone and P. 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 = 	 {V. Sassone and P. 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://www.southampton.ac.uk/~ps1a06/papers/dbca2a.pdf}
}
Powered by bibtexbrowser