Processes and unfoldings: concurrent computations in adhesive categories
BALDAN, PAOLO, CORRADINI, ANDREA, HEINDEL, TOBIAS, KÖNIG, BARBARA, SOBOCIŃSKI, PAWEŁVolume:
24
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s096012951200031x
Date:
August, 2014
File:
PDF, 1.47 MB
english, 2014