scientific article; zbMATH DE number 1142328

MaRDI QIDQ4385544zbMATH OpenFDO

Authors Leslie Lamport, Nancy Lynch

Publication date 14 May 1998

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(10)

• Rapid convergence of a local load balancing algorithm for asynchronous rings
• Bounded time-stamping in message-passing systems
• Invariants, composition, and substitution
• Architectural CCS
• A synchronous -calculus
• Concurrent abstract state machines
• Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing
• Human-cyber-physical automata and their synthesis
• Store locally, prove globally
• An algorithm for FIFO message delivery among migrating tasks

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385544)