Towards a formal representation of interactive systems

DOI10.3233/FI-2014-1017MaRDI QIDQ5415284zbMATH OpenOpenAlexFDO

Authors Iulia Teodora Banu-Demergian, Gh. Ştefănescu

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

2-dimensional languagesfinite interactive systemsinteractive programmingKleene theoremnetwork algebraparallel programmingregular algebraregular expressionsrelational semanticsspecificationstructured interactive programmingverification

Mathematics Subject Classification ID

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

Recommendations

• A new representation of two-dimensional patterns and applications to interactive programming
• A Quest for Kleene Algebra in 2 Dimensions
• Interactive systems with registers and voices
• Interactive foundations of computing
• scientific article; zbMATH DE number 7315073

Cited in

(8)

• An approach to formal verification of human-computer interaction
• A new representation of two-dimensional patterns and applications to interactive programming
• Interactive systems with registers and voices
• scientific article; zbMATH DE number 2079664 (Why is no real title available?)
• scientific article; zbMATH DE number 1828005 (Why is no real title available?)
• scientific article; zbMATH DE number 895659 (Why is no real title available?)
• On contour representation of two dimensional patterns
• On Compiling Structured Interactive Programs with Registers and Voices

Describes a project that uses

Uses Software

• Agapia

This page was built for publication: Towards a formal representation of interactive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415284)