Decidability and syntactic control of interference

DOI10.1016/J.TCS.2007.10.045MaRDI QIDQ2481977zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 15 April 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.10.045

zbMATH Keywords

game semanticsidealized Algolmultitape automatainterference control

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45)

Recommendations

• Automata, Languages and Programming
• Syntactic control of interference and concurrent separation logic
• Syntactic control of interference for separation logic
• scientific article; zbMATH DE number 1231472
• Syntactic control of interference revisited
• A model for syntactic control of interference
• scientific article; zbMATH DE number 1948166
• Decidability problems in grammar systems
• Categorical models of syntactic control of intereference revisited, revisited
• Some interdefinability results for syntactic constraint classes

Cites work

• scientific article; zbMATH DE number 5173454 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 1259144 (Why is no real title available?)
• scientific article; zbMATH DE number 1342245 (Why is no real title available?)
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• An approach to deciding the observational equivalence of Algol-like languages
• Automata, Languages and Programming
• Finitary PCF is not decidable
• Foundations of Software Science and Computational Structures
• Game semantics and linear CPS interpretation
• On full abstraction for PCF: I, II and III
• On the semantics of the bad-variable constructor in Algol-like languages
• Syntactic control of interference revisited
• The equivalence problem of multitape finite automata
• The inclusion problem for some classes of deterministic multitape automata
• The regular-language semantics of second-order idealized ALGOL

Cited in

(6)

• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• Categorical models of syntactic control of intereference revisited, revisited
• Automata, Languages and Programming
• Automata, Languages and Programming
• A model for syntactic control of interference
• Syntactic control of concurrency

This page was built for publication: Decidability and syntactic control of interference

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