Pages that link to "Item:Q5709366"
From MaRDI portal
The following pages link to Communicating Sequential Processes. The First 25 Years (Q5709366):
Displaying 19 items.
- Direct positioning of stationary targets using MIMO radar (Q635063) (← links)
- Denotational semantics of CSP (Q801677) (← links)
- On representation of DNA by line distance matrix (Q937612) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Logarithmic regret algorithms for online convex optimization (Q1009221) (← links)
- A CSP model with flexible parallel termination semantics (Q1037248) (← links)
- Partially interpreted schemas for CSP programming (Q1095639) (← links)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- Tracking CSP computations (Q1633350) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- CSP and Kripke Structures (Q2787446) (← links)
- A grainless semantics for parallel programs with shared mutable data (Q2852353) (← links)
- Of wlp and CSP (Q2994489) (← links)
- Capturing Conflict and Confusion in CSP (Q3608892) (← links)
- (Q3687725) (← links)
- (Q3989946) (← links)
- Retracing CSP (Q5262957) (← links)
- Why ever CSP? (Q5262968) (← links)