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
Process-local static analysis of synchronous processes - MaRDI portal

Process-local static analysis of synchronous processes

From MaRDI portal

Publication:6041176

Jump to:navigation, search

DOI10.1007/978-3-319-99725-4_18zbMath1511.68184OpenAlexW2888816426WikidataQ59416284 ScholiaQ59416284MaRDI QIDQ6041176

Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard

Publication date: 26 May 2023

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://portal.findresearcher.sdu.dk/da/publications/785d400f-ae6a-4e22-9327-26029a7cd0c1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Process-local static analysis of synchronous processes

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