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

DOI10.1016/0304-3975(83)90080-4zbMATH Open0557.68053OpenAlexW2092410746MaRDI QIDQ761796FDOQ761796

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Complete problems for deterministic polynomial time
• Protection in operating systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Adherences of languages
• A Linear Time Algorithm for Deciding Subject Security
• Some remarks on non-algebraic adherences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nivat's processing systems: decision problems related to protection and synchronization

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)