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
Towards a Formal Representation of Interactive Systems - MaRDI portal

Towards a Formal Representation of Interactive Systems

From MaRDI portal

Publication:5415284

Jump to:navigation, search

DOI10.3233/FI-2014-1017zbMath1359.68156OpenAlexW1480399023MaRDI QIDQ5415284

Gheorghe Ştefănescu, Iulia Teodora Banu-Demergian

Publication date: 12 May 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1017

zbMATH Keywords

verification relational semantics regular expressions parallel programming specification Kleene theorem interactive programming regular algebra 2-dimensional languages structured interactive programming network algebra finite interactive systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

Agapia

This page was built for publication: Towards a Formal Representation of Interactive Systems

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