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 Petri Net Based Modeling of Active Objects and Futures - MaRDI portal

A Petri Net Based Modeling of Active Objects and Futures

From MaRDI portal

Publication:4643210

Jump to:navigation, search

DOI10.3233/FI-2018-1663zbMath1390.68489WikidataQ130147361 ScholiaQ130147361MaRDI QIDQ4643210

Matias David Lee, Gianluigi Zavattaro, Mario Bravetti, Frank S. de Boer

Publication date: 24 May 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

Petri nets deadlock analysis active objects

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Probabilistic software product lines

This page was built for publication: A Petri Net Based Modeling of Active Objects and Futures

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