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

DOI10.1016/0304-3975(83)90080-4zbMath0557.68053OpenAlexW2092410746MaRDI QIDQ761796

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

safetytransition systemcompatibilityunsolvabilityprocessing systemprotection systems

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• Nivat's processing systems: decision problems related to protection and synchronization
• Some remarks on non-algebraic adherences
• Adherences of languages
• Complete problems for deterministic polynomial time
• Protection in operating systems
• A Linear Time Algorithm for Deciding Subject Security
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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