scientific article
From MaRDI portal
Publication:3962450
zbMath0497.68001MaRDI QIDQ3962450
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
efficient algorithmsprogramming theoryDijkstra's philosophyDijkstranian stylegeneral correctness theory
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Collected or selected works; reprintings or translations of classics (01A75) Theory of software (68Nxx) Conference proceedings and collections of articles (00Bxx)
Related Items
An implementation of mutual inclusion ⋮ Global Synchronization of Pulse-Coupled Oscillators on Trees ⋮ Problem solving with well posedness analysis. I. ⋮ Generalizing Morley's and other theorems with automated realization ⋮ Joyce—A programming language for distributed systems ⋮ Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Algorithms for dense graphs and networks on the random access computer ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Complete sets of cooperations ⋮ A Trigonometrical Approach to Morley's Observation ⋮ Command algebras, recursion and program transformation ⋮ Simplified infrastructure for the transformation of XML models ⋮ Unnamed Item ⋮ Distributed Patrolling with Two-Speed Robots (and an Application to Transportation) ⋮ Friends with Benefits ⋮ Self-stabilizing multi-token rings ⋮ Local spreading algorithms for autonomous robot systems ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Exact quantitative probabilistic model checking through rational search ⋮ Computing by Mobile Robotic Sensors ⋮ Self-deployment of mobile sensors on a ring ⋮ Inversion of a recursive tree traversal ⋮ Binary self-stabilization in distributed systems ⋮ A self-stabilizing algorithm for finding a minimal 2-dominating set assuming the distributed demon model ⋮ Position discovery for a system of bouncing robots ⋮ The Science of Desire: A Systematic Approach to Mathematical Modeling ⋮ Formal derivation of an algorithm for distributed phase synchronization ⋮ The ring of \(k\)-regular sequences ⋮ Binary signed-digit integers and the Stern diatomic sequence ⋮ ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs ⋮ A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity ⋮ Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures ⋮ A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity ⋮ Fifty years of Hoare's logic ⋮ A digit reversal property for Stern polynomials ⋮ Program inversion in the refinement calculus ⋮ MODULARITY IN MATHEMATICS ⋮ Self-stabilizing ring orientation using constant space ⋮ Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem ⋮ Quasi-self-stabilization of a distributed system assuming read/write atomicity ⋮ A digit reversal property for an analogue of Stern's sequence ⋮ “Curiouser and curiouser” said alice. further reflections on an interesting recursive function ⋮ Unnamed Item ⋮ A self-stabilizing algorithm for the shortest path problem assuming the distributed demon ⋮ Synchronization of finite-state pulse-coupled oscillators ⋮ Fast rendezvous on a cycle by agents with different speeds
