Regulating synchronous data exchange to meet control flow and data specifications

DOI10.4230/LIPICS.FSTTCS.2025.14MaRDI QIDQ7391886zbMATH OpenFDO

Authors Ashwin Bhaskar, M. Praveen

Publication date 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2025.14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cites work

• An automata-theoretic approach to constraint LTL
• Automata, logics, and infinite games. A guide to current research
• Church synthesis on register automata over linearly ordered data domains
• Constraint LTL with remote access
• Energy and mean-payoff games with imperfect information
• Energy parity games
• From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
• Interface automata for shared memory
• Mediator Synthesis in a Component Algebra with Data
• Realizability problem for constraint LTL
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines

This page was built for publication: Regulating synchronous data exchange to meet control flow and data specifications

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