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
scientific article; zbMATH DE number 860039 - MaRDI portal

scientific article; zbMATH DE number 860039

From MaRDI portal

Publication:4870809

Jump to:navigation, search

zbMath0841.03036MaRDI QIDQ4870809

Dusko Pavlovic

Publication date: 7 May 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrency calculus of relations interaction category of synchronous processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Categorical logic, topoi (03G30)

Related Items (1)

Convenient category of processes and simulations I: Modulo strong bisimilarity

This page was built for publication:

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