The following pages link to Larissa A. Meinicke (Q1682287):
Displayed 21 items.
- Item:Q1682287 (redirect page) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Item:Q1682287 (redirect page) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)
- Cylindric Kleene lattices for program construction (Q2176678) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- An algebra of synchronous atomic steps (Q2281642) (← links)
- Developing an algebra for rely/guarantee concurrency: design decisions and challenges (Q2296292) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (Q2986822) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)
- Unifying Theories of Programming That Distinguish Nontermination and Abort (Q3575272) (← links)
- Compositional Closure for Bayes Risk in Probabilistic Noninterference (Q3587441) (← links)
- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (Q3608893) (← links)
- Continuous Action System Refinement (Q3618830) (← links)
- Linear-Invariant Generation for Probabilistic Programs: (Q4930741) (← links)
- Hidden-Markov program algebra with iteration (Q5740625) (← links)