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
Call-by-need in token-passing nets - MaRDI portal

Call-by-need in token-passing nets

From MaRDI portal

Publication:5482263

Jump to:navigation, search

DOI10.1017/S0960129506005408zbMath1122.68034OpenAlexW2161307913MaRDI QIDQ5482263

François-Régis Sinot

Publication date: 28 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129506005408

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Complete Laziness: a Natural Semantics ⋮ Token-passing Nets for Functional Languages

This page was built for publication: Call-by-need in token-passing nets

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