The following pages link to Semantics, Logics, and Calculi (Q2796213):
Displayed 16 items.
- Effect Systems Revisited—Control-Flow Algebra and Semantics (Q2796214) (← links)
- Last Mile’s Resources (Q2796215) (← links)
- Formal Modelling and Analysis of Socio-Technical Systems (Q2796216) (← links)
- Static Timing Analysis – What is Special? (Q2796217) (← links)
- An Automata-Based Approach to Trace Partitioned Abstract Interpretation (Q2796218) (← links)
- Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression (Q2796219) (← links)
- Abstract Interpretation of PEPA Models (Q2796221) (← links)
- Static Analysis of Parity Games: Alternating Reachability Under Parity (Q2796222) (← links)
- Game Theory and Industrial Control Systems (Q2796223) (← links)
- Playing with Abstraction and Representation (Q2796224) (← links)
- Schedulers are no Prophets (Q2796225) (← links)
- Replicating Data for Better Performances in X10 (Q2796227) (← links)
- Guards, Failure, and Partiality: Dijkstra’s Guarded-Command Language Formulated Topologically (Q2796228) (← links)
- Enhancing Top-Down Solving with Widening and Narrowing (Q2796229) (← links)
- Modal Intersection Types, Two-Level Languages, and Staged Synthesis (Q2796230) (← links)
- Rule Formats for Bounded Nondeterminism in Structural Operational Semantics (Q2796231) (← links)