scientific article; zbMATH DE number 1142328
From MaRDI portal
Publication:4385544
zbMATH Open0900.68089MaRDI QIDQ4385544FDOQ4385544
Authors: Leslie Lamport, Nancy Lynch 
Publication date: 14 May 1998
Title of this publication is not available (Why is that?)
Cited In (10)
- Bounded time-stamping in message-passing systems
- Architectural CCS
- Store locally, prove globally
- Concurrent abstract state machines
- Rapid convergence of a local load balancing algorithm for asynchronous rings
- A synchronous \(\pi\)-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)
