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 4119659 - MaRDI portal

scientific article; zbMATH DE number 4119659

From MaRDI portal

Publication:4733434

Jump to:navigation, search

zbMath0683.68073MaRDI QIDQ4733434

Jan J. M. M. Rutten

Publication date: 1989

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

zbMATH Keywords

correctness operational semantics compositionality denotational semantics full abstraction concurrency contractions complete metric spaces concurrent programming language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Theory of software (68N99)

Related Items (2)

Comparative metric semantics for concurrent PROLOG ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages

This page was built for publication:

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