The following pages link to (Q3997236):
Displayed 16 items.
- A brief introduction to distributed systems (Q333510) (← links)
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- Checking system boundedness using ordinary differential equations (Q454908) (← links)
- Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms (Q897371) (← links)
- Highly-fair bakery algorithm using symmetric tokens (Q1675821) (← links)
- Causing communication closure: safe program composition with reliable non-FIFO channels (Q2377131) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- On the computational complexity of coalitional resource games (Q2457612) (← links)
- ACTLW -- an action-based computation tree logic with unless operator (Q2476788) (← links)
- Parallelization of triangular decompositions: techniques and implementation (Q2674015) (← links)
- On a distributed implementation of a decomposition method for multistage linear stochastic programs (Q2785399) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)
- Asynchronous group mutual exclusion (Q5137904) (← links)