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)

• Bounded time-stamping in message-passing systems
• Architectural CCS
• Concurrent abstract state machines
• Rapid convergence of a local load balancing algorithm for asynchronous rings
• Store locally, prove globally
• A synchronous -calculus
• Invariants, composition, and substitution
• Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing
• Human-cyber-physical automata and their synthesis
• 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)