The following pages link to (Q4260381):
Displaying 11 items.
- Process logic with regular formulas (Q1062047) (← links)
- Locality based semantics for process algebras (Q1357807) (← links)
- Deterministic process logic is elementary (Q3323260) (← links)
- (Q3686025) (← links)
- (Q4029584) (← links)
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
- Contradiction-Tolerant Process Algebra with Propositional Signals (Q4599814) (← links)
- A Logical Viewpoint on Process-algebraic Quotients (Q4812317) (← links)
- (Q4896650) (← links)
- (Q4945247) (← links)
- (Q4965857) (← links)