Pages that link to "Item:Q1143164"
From MaRDI portal
The following pages link to The temporal semantics of concurrent programs (Q1143164):
Displaying 27 items.
- Distributed breadth-first search LTL model checking (Q2431772) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Prime languages (Q2514149) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL (Q3183543) (← links)
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations (Q3602942) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- Branching-Time Temporal Logics with Minimal Model Quantifiers (Q3637242) (← links)
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953) (← links)
- Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
- (Q3677141) (← links)
- Church's Problem Revisited (Q4262605) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- (Q5005123) (← links)
- (Q5020999) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
- Appraising two decades of distributed computing theory research (Q5138493) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Does “N+1 times” prove more programs correct than “N times”? (Q5887528) (← links)
- Converting a Büchi alternating automaton to a usual nondeterministic one (Q5955787) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
