Pages that link to "Item:Q3179386"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2016 (Q3179386):
Displayed 27 items.
- Verification of Concurrent Programs on Weak Memory Models (Q3179387) (← links)
- Petri Nets and Semilinear Sets (Extended Abstract) (Q3179388) (← links)
- Termination of Single-Path Polynomial Loop Programs (Q3179389) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
- Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- Towards MC/DC Coverage of Properties Specification Patterns (Q3179399) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- Soundly Proving B Method Formulæ Using Typed Sequent Calculus (Q3179401) (← links)
- Deriving Inverse Operators for Modal Logic (Q3179402) (← links)
- Specifying Properties of Dynamic Architectures Using Configuration Traces (Q3179403) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Ensuring Correctness of Model Transformations While Remaining Decidable (Q3179408) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
- Derived-Term Automata for Extended Weighted Rational Expressions (Q3179410) (← links)
- Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- Parametric Deadlock-Freeness Checking Timed Automata (Q3179417) (← links)