The following pages link to (Q3485876):
Displaying 15 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- (Q3384925) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- Processes with multiple entries and exits (Q5055885) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- (Q5751953) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- The algebra of stream processing functions (Q5941194) (← links)