Pages that link to "Item:Q4066568"
From MaRDI portal
The following pages link to Guarded commands, nondeterminacy and formal derivation of programs (Q4066568):
Displaying 26 items.
- A survey of concurrent object-oriented languages (Q4789967) (← links)
- A self-modifiable approach to scheduling and mapping algorithms in multiprocessor systems (Q4870970) (← links)
- The algebra of multirelations (Q4925034) (← links)
- (Q5015383) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- Data Centric Workflows for Crowdsourcing (Q5100748) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Explicit Fair Scheduling for Dynamic Control (Q5187822) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) (← links)
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
- Indexed and fibered structures for partial and total correctness assertions (Q5889306) (← links)
- A predicative semantics for the refinement of real-time systems (Q5890049) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
- A new approach for active automata learning based on apartness (Q6535565) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)
- Kleene algebra of weighted programs with domain (Q6546613) (← links)
- SSCalc: a calculus for Solidity smart contracts (Q6550597) (← links)
- On the expressiveness and efficiency of guarded lists in Bach (Q6643471) (← links)
