Processes and Unfoldings: Concurrent Computations in Adhesive ...
Reference
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Paweł Sobociński. Processes and unfoldings: Concurrent computations in adhesive categories. Mathematical Structures in Computer Science, 24(4), 2014.
Suggested BibTeX entry:
@article{BCHKS14,
author = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"o}nig and Pawe{\l} Soboci\'{n}ski},
journal = {Mathematical Structures in Computer Science},
number = {4},
title = {Processes and Unfoldings: Concurrent Computations in Adhesive Categories},
volume = {24},
year = {2014}
}
