Pages that link to "Item:Q2760242"
From MaRDI portal
The following pages link to Process algebra with recursive operations (Q2760242):
Displaying 18 items.
- Reactive Turing machines (Q393091) (← links)
- Recursive process definitions with the state operator (Q758198) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Process algebra with action dependencies (Q1608931) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- Formal enforcement of security policies on concurrent systems (Q2275899) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- (Q4494259) (← links)
- (Q4965857) (← links)
- (Q4968384) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
- Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration (Q5415608) (← links)
- Domain Axioms for a Family of Near-Semirings (Q5505433) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
- Underspecification for a simple process algebra of recursive processes. (Q5958781) (← links)