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
On the expressiveness and efficiency of guarded lists in Bach - MaRDI portal

On the expressiveness and efficiency of guarded lists in Bach

From MaRDI portal

Publication:6643471

Jump to:navigation, search

DOI10.1016/j.jlamp.2024.101017MaRDI QIDQ6643471

Unnamed Author, Jean-Marie Jacquet

Publication date: 26 November 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

model checking coordination expressiveness modular embedding Bach guarded list

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: On the expressiveness and efficiency of guarded lists in Bach

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