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
State inference for dynamically changing interfaces - MaRDI portal

State inference for dynamically changing interfaces

From MaRDI portal

Publication:4329488

Jump to:navigation, search

DOI10.1016/S0096-0551(01)00019-4zbMath0997.68016WikidataQ127364263 ScholiaQ127364263MaRDI QIDQ4329488

Franz Puntigam

Publication date: 1 May 2002

Published in: Computer Languages (Search for Journal in Brave)

zbMATH Keywords

type system concurrent object calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

An algebra of behavioural types ⋮ A type checking algorithm for concurrent object protocols

This page was built for publication: State inference for dynamically changing interfaces

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