The following pages link to (Q3962450):
Displaying 47 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Position discovery for a system of bouncing robots (Q498402) (← links)
- Complete sets of cooperations (Q618169) (← links)
- Formal derivation of an algorithm for distributed phase synchronization (Q673351) (← links)
- ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs (Q689297) (← links)
- Program inversion in the refinement calculus (Q750160) (← links)
- A self-stabilizing algorithm for the shortest path problem assuming the distributed demon (Q815255) (← links)
- Problem solving with well posedness analysis. I. (Q856178) (← links)
- Command algebras, recursion and program transformation (Q911748) (← links)
- Local spreading algorithms for autonomous robot systems (Q930905) (← links)
- Self-deployment of mobile sensors on a ring (Q936531) (← links)
- Quasi-self-stabilization of a distributed system assuming read/write atomicity (Q1029860) (← links)
- An implementation of mutual inclusion (Q1081297) (← links)
- Inversion of a recursive tree traversal (Q1183407) (← links)
- Binary self-stabilization in distributed systems (Q1183462) (← links)
- The ring of \(k\)-regular sequences (Q1193879) (← links)
- Self-stabilizing ring orientation using constant space (Q1271475) (← links)
- Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
- A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity (Q1779602) (← links)
- Algorithms for dense graphs and networks on the random access computer (Q1918989) (← links)
- Simplified infrastructure for the transformation of XML models (Q1956977) (← links)
- Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures (Q2009633) (← links)
- Exact quantitative probabilistic model checking through rational search (Q2225475) (← links)
- Binary signed-digit integers and the Stern diatomic sequence (Q2243886) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Synchronization of finite-state pulse-coupled oscillators (Q2356897) (← links)
- Fast rendezvous on a cycle by agents with different speeds (Q2357150) (← links)
- A self-stabilizing algorithm for finding a minimal 2-dominating set assuming the distributed demon model (Q2460592) (← links)
- A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity (Q2486565) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Distributed Patrolling with Two-Speed Robots (and an Application to Transportation) (Q2980175) (← links)
- Friends with Benefits (Q2988636) (← links)
- The Science of Desire: A Systematic Approach to Mathematical Modeling (Q3007067) (← links)
- Global Synchronization of Pulse-Coupled Oscillators on Trees (Q3176272) (← links)
- Joyce—A programming language for distributed systems (Q3736887) (← links)
- “Curiouser and curiouser” said alice. further reflections on an interesting recursive function (Q4205069) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A digit reversal property for an analogue of Stern's sequence (Q4637115) (← links)
- Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem (Q4982054) (← links)
- (Q5020646) (← links)
- A Trigonometrical Approach to Morley's Observation (Q5113528) (← links)
- Self-stabilizing multi-token rings (Q5136988) (← links)
- (Q5146735) (← links)
- MODULARITY IN MATHEMATICS (Q5221289) (← links)
- A digit reversal property for Stern polynomials (Q5384189) (← links)
- Computing by Mobile Robotic Sensors (Q5391133) (← links)
- Finding strong components using depth-first search (Q6563999) (← links)
