Pages that link to "Item:Q1106660"
From MaRDI portal
The following pages link to Global renaming operators in concrete process algebra (Q1106660):
Displaying 28 items.
- SOS rule formats for zero and unit elements (Q549170) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Transition system specifications with negative premises (Q685387) (← links)
- Recursive process definitions with the state operator (Q758198) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Global renaming operators in concrete process algebra (Q1106660) (← links)
- Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- An algebra for process creation (Q1203719) (← links)
- Real space process algebra (Q1329194) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- On sequential composition, action prefixes and process prefix (Q1333405) (← links)
- The algebra of communicating processes with empty process (Q1391788) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Process algebra with language matching (Q1391794) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
