scientific article; zbMATH DE number 1142328
From MaRDI portal
Publication:4385544
zbMath0900.68089MaRDI QIDQ4385544
Leslie Lamport, Nancy A. Lynch
Publication date: 14 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Concurrent abstract state machines ⋮ Invariants, composition, and substitution ⋮ A synchronous \(\pi\)-calculus ⋮ Architectural CCS ⋮ Human-cyber-physical automata and their synthesis ⋮ An algorithm for FIFO message delivery among migrating tasks ⋮ Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing ⋮ Rapid convergence of a local load balancing algorithm for asynchronous rings ⋮ Bounded time-stamping in message-passing systems
This page was built for publication: