Pages that link to "Item:Q789165"
From MaRDI portal
The following pages link to Correctness of recursive parallel nondeterministic flow programs (Q789165):
Displaying 10 items.
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Parallel algorithms and correctness in parallel programs (Q1079951) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- Program morphisms (Q1203125) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- (Q3034805) (← links)
- A categorical manifesto (Q4713397) (← links)
- (Q4886262) (← links)
- Implementation of Functional Languages (Q5466589) (← links)