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 graph-based approach to the compositional specification of distributed systems - MaRDI portal

A graph-based approach to the compositional specification of distributed systems

From MaRDI portal

Publication:4923542

Jump to:navigation, search

DOI10.1016/S1571-0661(04)80204-4zbMath1263.68082MaRDI QIDQ4923542

Manuel Koch

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Distributed systems (68M14)

Cites Work

This page was built for publication: A graph-based approach to the compositional specification of distributed systems

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