Deriving State-Based Implementations of Interactive Components with History Abstractions

DOI10.1007/978-3-540-70881-0_17zbMath1185.68384OpenAlexW1805767238MaRDI QIDQ3401943

Annette Stümpel, Walter Dosch

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_17

zbMATH Keywords

communication historyinteractive componenthistory abstractionstate transition machinestream processing function

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Implementing Services by Partial State Machines

This page was built for publication: Deriving State-Based Implementations of Interactive Components with History Abstractions