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
Towards Context-Based Concurrent Formal Theories - MaRDI portal

Towards Context-Based Concurrent Formal Theories

From MaRDI portal

Publication:4598900

Jump to:navigation, search

DOI10.1142/S0129626415400083zbMath1376.68100MaRDI QIDQ4598900

Andrew Schumann

Publication date: 15 December 2017

Published in: Parallel Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Boolean algebra group theory labelled transition system concurrent game plasmodium

Mathematics Subject Classification ID

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

Related Items (3)

PhyChip: Growing Computers with Slime Mould ⋮ Probabilistic properties of near-optimal trajectories of an agent moving over a lattice ⋮ The evolution of ambiguity in sender -- receiver signaling games

This page was built for publication: Towards Context-Based Concurrent Formal Theories

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