Pages that link to "Item:Q4870069"
From MaRDI portal
The following pages link to Modal Logic and Equality for Process Algebra (Q4870069):
Displaying 8 items.
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Behavioural equivalence via modalities for algebraic effects (Q2323978) (← links)
- Modal logics for cryptographic processes (Q2842609) (← links)
- Process algebra for modal transition systemses (Q2917271) (← links)
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
- (Q4732449) (← links)
- A Logical Viewpoint on Process-algebraic Quotients (Q4812317) (← links)
- (Q4945247) (← links)