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
CCS(25,12) is Turing-complete - MaRDI portal

CCS(25,12) is Turing-complete

From MaRDI portal

Publication:4601126

Jump to:navigation, search

DOI10.3233/FI-2017-1557zbMath1387.68171MaRDI QIDQ4601126

Roberto Gorrieri

Publication date: 19 January 2018

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

zbMATH Keywords

process algebra universal Turing machine CCS

Mathematics Subject Classification ID

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

Related Items (1)

This page was built for publication: CCS(25,12) is Turing-complete

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