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
Global and local invariants in transition systems - MaRDI portal

Global and local invariants in transition systems

From MaRDI portal

Publication:3311673

Jump to:navigation, search

DOI10.1016/S0019-9958(82)91167-6zbMATH Open0529.68034MaRDI QIDQ3311673

Joseph Sifakis

Publication date: 1982

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

invariants transition systems fixed point equations semantical equations of programs

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: Global and local invariants in transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3311673)

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