Axiomatizing the algebra of net computations and processes
From MaRDI portal
Publication:1901718
DOI10.1007/s002360050064zbMath0849.68087MaRDI QIDQ1901718
Ugo Montanari, José Meseguer, Pierpaolo Degano
Publication date: 19 November 1995
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050064
Petri net theory; interleaving; functoriality; partial ordering; symmetric monoidal category; sequential composition; place/transition nets; parallel composition; nonsequential processes; term algebra; concurrent behaviors; morphism composition
DB lookup for MSC labels failed
Related Items