Processes and Unfoldings: Concurrent Computations in Adhesive Categories (bibtex)

by Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł Sobociński

Reference:

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł Sobociński, Processes and Unfoldings: Concurrent Computations in Adhesive Categories, In Math. Struct. Comput. Sci., vol. 24, no. 4, 2014.

Bibtex Entry:

@article{Baldan2012,
  author  = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"{o}}nig and Pawe{\l} Soboci{\'{n}}ski},
  title   = {Processes and Unfoldings: Concurrent Computations in Adhesive Categories},
  journal = {Math. Struct. Comput. Sci.},
  volume  = {24},
  number  = {4},
  year    = {2014},
  doi     = {10.1017/S096012951200031X},
  url     = {https://doi.org/10.1017/S096012951200031X},
}