DMCA

ω-Inductive Completion of Monoidal Categories and Infinite Petri Net Computations

Cached

Download Links

by Vladimiro Sassone , Jose Meseguer , Ugo Montanari