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
scientific article; zbMATH DE number 1301623 - MaRDI portal

scientific article; zbMATH DE number 1301623

From MaRDI portal

Publication:4246822

Jump to:navigation, search

zbMath0926.93037MaRDI QIDQ4246822

Simin Nadjm-Tehrani

Publication date: 29 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compositionality transition graph hybrid transition system synchronous program

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Hybrid Automata as Coalgebras ⋮ Languages and models for hybrid automata: a coalgebraic perspective

This page was built for publication:

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