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
Behaviour specification of parallel active objects - MaRDI portal

Behaviour specification of parallel active objects

From MaRDI portal

Publication:1275048

Jump to:navigation, search

DOI10.1016/S0167-8191(98)00044-1zbMath0908.68114MaRDI QIDQ1275048

Tom Holvoet, Thilo Kielmann

Publication date: 12 January 1999

Published in: Parallel Computing (Search for Journal in Brave)

zbMATH Keywords

coordination high-level Petri nets behaviour specification objective Linda reusable components

Mathematics Subject Classification ID

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

This page was built for publication: Behaviour specification of parallel active objects

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