The following pages link to (Q4941924):
Displaying 9 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Normal Forms for Characteristic Functions on n-ary Relations (Q3025326) (← links)
- (Q4036174) (← links)
- GETGRATS (Q4923529) (← links)