Pages that link to "Item:Q549679"
From MaRDI portal
The following pages link to Concurrent Kleene algebra and its foundations (Q549679):
Displayed 46 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- ST-structures (Q338620) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
- Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- In praise of algebra (Q1941861) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models (Q3179280) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- On the algebraic structure of Weihrauch degrees (Q4553287) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Convolution and concurrency (Q5084483) (← links)
- (Q5089295) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- (Q5111642) (← links)
- (Q5155670) (← links)
- On Weighted Petri Net Transducers (Q5166767) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- Taming Multirelations (Q5278188) (← links)
- Reordering Derivatives of Trace Closures of Regular Languages. (Q5875402) (← links)
- Weighted synchronous automata (Q5889309) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)