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
Cellular Monads from Positive GSOS Specifications - MaRDI portal

Cellular Monads from Positive GSOS Specifications

From MaRDI portal

Publication:6324373

Jump to:navigation, search

arXiv1908.11169MaRDI QIDQ6324373

Tom Hirschowitz

Publication date: 29 August 2019

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Cellular Monads from Positive GSOS Specifications

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