Pages that link to "Item:Q751233"
From MaRDI portal
The following pages link to Data flow analysis of distributed communicating processes (Q751233):
Displaying 7 items.
- On-the-fly analysis of distributed computations (Q673006) (← links)
- The complexity of reachability in distributed communicating processes (Q1098622) (← links)
- Satisfiability of dataflow models of distributed programs (Q1403191) (← links)
- Two Tools for Interprocess Communication in Distributed Data-Flow Systems (Q3741028) (← links)
- Static and dynamic processor allocation for higher-order concurrent languages (Q5096756) (← links)
- (Q5187223) (← links)
- An algorithm for analyzing communicating processes (Q6116579) (← links)