Locked discrete event systems: How to model and how to unlock

DOI10.1007/BF01797161zbMath0769.93004MaRDI QIDQ1802243

Rein Smedinga

Publication date: 16 June 1993

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

trace structurediscrete event systemslivelockdeadlocksynchronous interactionasynchronous interaction

Mathematics Subject Classification ID

General systems (93A10)

Related Items (1)

A temporal logic approach to discrete event control for the safety canonical class

Cites Work

• On supervisory control of real-time discrete-event systems
• A calculus of communicating systems
• Trace theory and VLSI design
• Supervisory Control of a Class of Discrete Event Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Locked discrete event systems: How to model and how to unlock