Processes and Unfoldings: Concurrent Computations in Adhesive Categories (bibtex)
by P. Baldan, A. Corradini, T. Heindel, B. König and P. Sobociński
Reference:
P. Baldan, A. Corradini, T. Heindel, B. König and P. Sobociński, "Processes and Unfoldings: Concurrent Computations in Adhesive Categories", 2012.
Bibtex Entry:
@ARTICLE{Baldan2012,
  author = {P. Baldan and A. Corradini and T. Heindel and B. K{\"o}nig and P. Soboci{\'n}ski},
  title = {Processes and Unfoldings: Concurrent Computations in Adhesive Categories},
  year = {2012},
  note = {Submitted to MSCS},
  timestamp = {27.04.12}
}
Powered by bibtexbrowser