The Conic toolkit for building distributed systems
From MaRDI portal
Publication:3751454
DOI10.1049/ip-d.1987.0014zbMath0609.93022MaRDI QIDQ3751454
Jeff Kramer, M. Sloman, J. Magee
Publication date: 1987
Published in: IEE Proceedings D Control Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1049/ip-d.1987.0014
68Q45: Formal languages and automata
68U99: Computing methodologies and applications
93A15: Large-scale systems
Related Items
Assurance of dynamic adaptation in distributed systems, Hierarchical dispatching control of urban traffic systems, Optimized silent self-stabilizing scheme for tree-based constructions, On probabilistic snap-stabilization, Analysis of a memory-efficient self-stabilizing BFS spanning tree construction