The Conic toolkit for building distributed systems

DOI10.1049/IP-D.1987.0014zbMath0609.93022OpenAlexW4237207465MaRDI 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

zbMATH Keywords

process monitoring and controlConic programming languageflexible distributed systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Large-scale systems (93A15)

Related Items (5)

Assurance of dynamic adaptation in distributed systems ⋮ Analysis of a memory-efficient self-stabilizing BFS spanning tree construction ⋮ Optimized silent self-stabilizing scheme for tree-based constructions ⋮ Hierarchical dispatching control of urban traffic systems ⋮ On probabilistic snap-stabilization

This page was built for publication: The Conic toolkit for building distributed systems