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
Semantics of communicating processes - MaRDI portal

Semantics of communicating processes

From MaRDI portal

Publication:3719813

Jump to:navigation, search

DOI10.1016/S0019-9958(84)80048-0zbMath0591.68030MaRDI QIDQ3719813

Manfred Broy

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

operational semantics communicating processes observable behavior advanced fixed point theory fully abstract denotational semantics term rewriting rules

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

Denotational semantics of communicating sequential programs ⋮ Concurrent histories: a basis for observing distributed systems ⋮ Specification and top-down design of distributed systems ⋮ Trace, failure and testing equivalences for communicating processes

This page was built for publication: Semantics of communicating processes

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