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
A structural operational semantics for an Edison-like language - MaRDI portal

A structural operational semantics for an Edison-like language

From MaRDI portal

Publication:1075044

Jump to:navigation, search

DOI10.1007/BF02943301zbMath0591.68005OpenAlexW2915995131MaRDI QIDQ1075044

Publication date: 1986

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943301

zbMATH Keywords

operational semantics syntax concurrent programming languages Edison Edison.1 static semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

This page was built for publication: A structural operational semantics for an Edison-like language

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