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
Structural operational semantics for a portable subset of behavioral VHDL-93 - MaRDI portal

Structural operational semantics for a portable subset of behavioral VHDL-93

From MaRDI portal

Publication:5929100

Jump to:navigation, search

DOI10.1023/A:1008786720393zbMath0973.68138MaRDI QIDQ5929100

Robert L. Ewing, Krishnaprasad Thirunarayan

Publication date: 2 July 2001

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

structural operational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Computer system organization (68M99)

This page was built for publication: Structural operational semantics for a portable subset of behavioral VHDL-93

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