The following pages link to (Q3997236):
Displaying 19 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)
- (Q3122691) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- (Q4024005) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)
- Asynchronous group mutual exclusion (Q5137904) (← links)
- Design and implementation of multi-threaded algorithms in polynomial algebra (Q6666514) (← links)
