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 formal specification of a distributed computing system - MaRDI portal

Towards formal specification of a distributed computing system

From MaRDI portal

Publication:3721801

Jump to:navigation, search

DOI10.1007/BF00987039zbMath0592.68025MaRDI QIDQ3721801

Vinod K. Agrawal, Lalit M. Patnaik, P. S. Goel

Publication date: 1985

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

zbMATH Keywords

protocol concurrency specification distributed computing systems deadlock exclusiveness functionally distributed system Onboard spacecraft computing system sequencing relationships

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

Towards formal specification of a distributed computing system

Cites Work

Towards formal specification of a distributed computing system

This page was built for publication: Towards formal specification of a distributed computing system

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