Pages that link to "Item:Q1575879"
From MaRDI portal
The following pages link to Distributed concurrent linear logic programming (Q1575879):
Displaying 9 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Distributed programming with logic tuple spaces (Q1329178) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Distributed first order logics (Q2782484) (← links)
- A Logic For Distributed Processes (Q3809776) (← links)
- (Q4251120) (← links)
- A programming model and foundation for lineage-based distributed computation (Q4577814) (← links)
- True concurrency semantics for a linear logic programming language with broadcast communication (Q5044735) (← links)
- Computer Science Logic (Q5292622) (← links)