Concurrent control with “readers” and “writers”
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verification of concurrent programs: a temporal proof system
Verification of concurrent programs: a temporal proof system
Constraint-Based Verification of Parameterized Cache Coherence Protocols
Formal Methods in System Design
Near-Optimal Online Control of Dynamic Discrete-Event Systems
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Generation of concurrency control code using discrete-event systems theory
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
A summary of some discrete-event system control problems
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Methods for the estimation of the size of lookahead tree state-space
Discrete Event Dynamic Systems
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
Hi-index | 0.00 |
Discrete-Event Systems (DES) theory has been successfully applied to the problem of enforcing concurrency constraints in multi-threaded applications, with concomitant guarantees regarding aggregate behaviour. Existing approaches applying DES to multi-threaded code focus on control of pre-existing, statically instantiated threads, whose creation and termination are not modelled. An extension of this case to handle dynamically instantiated and terminated threads is proposed, which makes use of elements of Dynamic DES theory to model threads whose lifetimes can be arbitrary. Process and principles are outlined, and a prototype provided.