Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Kleene theorem for higher-dimensional automata - MaRDI portal

A Kleene theorem for higher-dimensional automata

From MaRDI portal

Publication:6587137

Jump to:navigation, search

DOI10.4230/lipics.concur.2022.29MaRDI QIDQ6587137

Christian Johansen, Georg Struth, Krzysztof Ziemiański, Uli Fahrenberg

Publication date: 13 August 2024

zbMATH Keywords

higher-dimensional automata concurrency theory Kleene theorem interval posets labelled precube categories

Mathematics Subject Classification ID

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

This page was built for publication: A Kleene theorem for higher-dimensional automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6587137&oldid=40131358"