The following pages link to Michel Reniers (Q835034):
Displaying 46 items.
- (Q513183) (redirect page) (← links)
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- A hierarchy of communication models for message sequence charts (Q701045) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Analysis of an industrial system (Q1870212) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
- (Q2760254) (← links)
- (Q2760256) (← links)
- Structural Operational Semantics with First-Order Logic (Q2810690) (← links)
- (Q2847419) (← links)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- Structural Analysis of Boolean Equation Systems (Q2946656) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems (Q3075540) (← links)
- (Q3148335) (← links)
- Nominal SOS (Q3178277) (← links)
- (Q3395989) (← links)
- (Q3404131) (← links)
- Action Abstraction in Timed Process Algebra (Q3508533) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- Foundations of a Compositional Interchange Format for Hybrid Systems (Q3613003) (← links)
- (Q3614665) (← links)
- (Q4252989) (← links)
- (Q4964002) (← links)
- (Q4965861) (← links)
- Partial-Order Reduction for Supervisory Controller Synthesis (Q5034078) (← links)
- Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices (Q5125579) (← links)
- (Q5150133) (← links)
- Maximally Permissive Controlled System Synthesis for Modal Logic (Q5175108) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494306) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717491) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898160) (← links)
- Correction to: ``Transformational supervisor synthesis for evolving systems'' (Q6201391) (← links)
- Supervisory control synthesis of timed automata using forcible events (Q6575784) (← links)
