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
Generic transforms on incomplete specifications of asynchronous interfaces - MaRDI portal

Generic transforms on incomplete specifications of asynchronous interfaces

From MaRDI portal

Publication:276483

Jump to:navigation, search

DOI10.1016/S1571-0661(03)50010-XzbMath1337.68169OpenAlexW2147437611MaRDI QIDQ276483

Radu Negulescu

Publication date: 3 May 2016

Full work available at URL: https://doi.org/10.1016/s1571-0661(03)50010-x

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: Generic transforms on incomplete specifications of asynchronous interfaces

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