The following pages link to Defining liveness (Q1064056):
Displayed 50 items.
- Deciding safety and liveness in TPTL (Q402360) (← links)
- An interface theory for service-oriented design (Q407507) (← links)
- Assurance of dynamic adaptation in distributed systems (Q436856) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Which security policies are enforceable by runtime monitors? A survey (Q465692) (← links)
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- A note on fairness in I/O automata (Q671616) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← links)
- Probabilistic communicating processes (Q672230) (← links)
- Approximately satisfied properties of systems and simple language homomorphisms (Q673348) (← links)
- Metric temporal logic with durations (Q673880) (← links)
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439) (← links)
- \(\omega\)-regular languages are testable with a constant number of queries (Q706616) (← links)
- The asynchronous bounded-cycle model (Q719298) (← links)
- P-A logic - a compositional proof system for distributed programs (Q757079) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- A temporal logic for asynchronous hyperproperties (Q832224) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks (Q897385) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Harmonization of interacting automata (Q904417) (← links)
- A theorem on atomicity in distributed algorithms (Q913499) (← links)
- Safety and liveness from a methodological point of view (Q916351) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Approximation of sets of superwords by \(L\)-language formulas (Q941189) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Behaviour approximated on subgroups (Q1030197) (← links)
- From liveness to promptness (Q1039845) (← links)
- Recognizing safety and liveness (Q1100884) (← links)
- Concurrent systems and inevitability (Q1122355) (← links)
- Correctness of concurrent processes (Q1176236) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Sooner is safer than later (Q1199553) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- Liveness in timed and untimed systems (Q1271471) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- Safety, liveness and fairness in temporal logic (Q1343862) (← links)
- Quiescence, fairness, testing, and the notion of implementation (Q1376423) (← links)
- A methodology for designing proof rules for fair parallel programs (Q1377299) (← links)
- Inference of \(\omega\)-languages from prefixes. (Q1426153) (← links)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- Shield synthesis (Q1696587) (← links)
- Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455) (← links)