Pages that link to "Item:Q2852365"
From MaRDI portal
The following pages link to On timed models and full abstraction (Q2852365):
Displaying 12 items.
- Better abstractions for timed automata (Q342707) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- Checking noninterference in timed CSP (Q1941887) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Three Approaches to Timed External Choice in UTP (Q2814612) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Predicate abstraction for dense real-time systems (Q2842588) (← links)
- On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework (Q3167528) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach (Q5145802) (← links)
- Modeling and Verifying Time Sensitive Security Protocols with Constraints (Q5415612) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)