Nivat's processing systems: decision problems related to protection and synchronization

DOI10.1016/0304-3975(83)90080-4MaRDI QIDQ761796zbMATH OpenOpenAlexFDO

Authors Sorin Istrail, Cristian Masalagiu

Publication date 1983

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

Full work available at URL https://doi.org/10.1016/0304-3975(83)90080-4

zbMATH Keywords

compatibilityunsolvabilitysafetytransition systemprocessing systemprotection systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• Safety in grammatical protection systems
• scientific article; zbMATH DE number 3856434
• scientific article; zbMATH DE number 3856435
• On the decidability of accessibility problems (extended abstract)
• The mutual exclusion problem

Cites work

• scientific article; zbMATH DE number 3856434 (Why is no real title available?)
• scientific article; zbMATH DE number 3827236 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• scientific article; zbMATH DE number 3630198 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 3413820 (Why is no real title available?)
• A Linear Time Algorithm for Deciding Subject Security
• Adherences of languages
• Complete problems for deterministic polynomial time
• Nivat's processing systems: decision problems related to protection and synchronization
• Protection in operating systems
• Some remarks on non-algebraic adherences

Cited in

(2)

• Nivat's processes and their synchronization
• Nivat's processing systems: decision problems related to protection and synchronization

This page was built for publication: Nivat's processing systems: decision problems related to protection and synchronization

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