A model for deadlock detection based on automata and languages theory

DOI10.1016/0898-1221(93)90298-AzbMath0796.68149OpenAlexW2071326513MaRDI QIDQ2365968

José R. González de Mendívil, José R. Garitagoitia

Publication date: 29 June 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(93)90298-a

zbMATH Keywords

deadlock detection problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Cites Work

• Access synchronization and deadlock-analysis in database systems: An implementation-oriented approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A model for deadlock detection based on automata and languages theory