Pages that link to "Item:Q4066568"
From MaRDI portal
The following pages link to Guarded commands, nondeterminacy and formal derivation of programs (Q4066568):
Displayed 50 items.
- Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare (Q1225928) (← links)
- Phrase structures, non-determinism and backtracking (Q1247172) (← links)
- A contribution to the programming calculus (Q1251058) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Proving partial order properties (Q1322161) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- Models for reactivity (Q1323323) (← links)
- Axiomatic-like performance analysis (ALPA) (Q1324358) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- A methodology for designing proof rules for fair parallel programs (Q1377299) (← links)
- Stochastic dynamic programming with factored representations (Q1583230) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Exits in the refinement calculus (Q1805400) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Probabilistic termination versus fair termination (Q1822937) (← links)
- Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Semigroup actions on posets and preimage quasi-orders (Q1939489) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Smart office robot collaboration based on multi-agent programming (Q1978438) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- A wide-spectrum language for verification of programs on weak memory models (Q2024349) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- Moment-based analysis of Bayesian network properties (Q2072070) (← links)
- BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- On distributability (Q2123059) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Benign interaction of security domains (Q2154018) (← links)
- Empowering the Event-B method using external theories (Q2165497) (← links)
- Region analysis for deductive verification of C programs (Q2216720) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Credible autocoding of convex optimization algorithms (Q2358081) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)