Axiomatizing the algebra of net computations and processes
type: Item
instance of: scholarly article
title: Axiomatizing the algebra of net computations and processes
zbMATH Open document ID: 0849.68087
author: Pierpaolo Degano
author: José Meseguer
author: Ugo Montanari
published in: Acta Informatica
publication date: 1995-11-19T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 18D10
zbMATH DE Number: 814168
zbMATH Keywords: place/transition nets
zbMATH Keywords: concurrent behaviors
zbMATH Keywords: nonsequential processes
zbMATH Keywords: Petri net theory
zbMATH Keywords: term algebra
zbMATH Keywords: symmetric monoidal category
zbMATH Keywords: parallel composition
zbMATH Keywords: sequential composition
zbMATH Keywords: morphism composition
zbMATH Keywords: functoriality
zbMATH Keywords: interleaving
zbMATH Keywords: partial ordering
MaRDI profile type: Publication
full work available at URL: s002360050064
OpenAlex ID: W4254746810
DOI: 10.1007/S002360050064
description: scientific article; zbMATH DE number 814168