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
True Concurrency in Long-running Transactions for Digital Ecosystems - MaRDI portal

True Concurrency in Long-running Transactions for Digital Ecosystems

From MaRDI portal

Publication:2804190

Jump to:navigation, search

DOI10.3233/FI-2015-1222zbMath1334.68154MaRDI QIDQ2804190

Sotiris Moschoyiannis, Paul Krause

Publication date: 28 April 2016

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

zbMATH Keywords

coordination true concurrency services choreography transactions transaction languages compensation semantics equivalent execution histories forward recovery online resources

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: True Concurrency in Long-running Transactions for Digital Ecosystems

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