Multiplicative Transition Systems

DOI10.3233/FI-2011-505zbMath1251.68164MaRDI QIDQ2895798

Józef Winkowski

Publication date: 4 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

regions; states; independence; category; composition; transition systems; transitions; labelled posets; pomsets

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)