Reactive Probabilistic Programs and Refinement Algebra (Q3498423): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Algebraic Notions of Termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: A sequential real-time refinement calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic notions of nontermination: Omega and divergence in idempotent semirings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using Probabilistic Kleene Algebra for Protocol Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Refinement algebra for probabilistic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematics of Program Construction / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Two Dually Nondeterministic Refinement Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Refinement Algebra with Operators for Enabledness and Termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monodic Tree Kleene Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4939620 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4808696 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a refinement algebra / rank
 
Normal rank

Latest revision as of 10:00, 28 June 2024

scientific article
Language Label Description Also known as
English
Reactive Probabilistic Programs and Refinement Algebra
scientific article

    Statements