Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł Processes and unfoldings: concurrent computations in adhesive categories. (English) Zbl 1342.68223 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240402, 51 p. (2014). MSC: 68Q85 18A35 18A40 18B20 68Q42 PDFBibTeX XMLCite \textit{P. Baldan} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240402, 51 p. (2014; Zbl 1342.68223) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł Unfolding grammars in adhesive categories. (English) Zbl 1239.68036 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 350-366 (2009). MSC: 68Q42 18C50 68Q55 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5728, 350--366 (2009; Zbl 1239.68036) Full Text: DOI Link
Heindel, Tobias; Sobociński, Paweł Van Kampen colimits as bicolimits in Span. (English) Zbl 1239.18003 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 335-349 (2009). MSC: 18A30 18D05 PDFBibTeX XMLCite \textit{T. Heindel} and \textit{P. Sobociński}, Lect. Notes Comput. Sci. 5728, 335--349 (2009; Zbl 1239.18003) Full Text: DOI Link