The Conic toolkit for building distributed systems

DOI10.1049/IP-D.1987.0014MaRDI QIDQ3751454zbMATH OpenOpenAlexFDO

Authors Jeff Kramer, Jeff Magee, M. Sloman

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

Conic programming languageflexible distributed systemsprocess monitoring and control

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1337862
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Software engineering for distributed applications. Mechanics and tools
• A suite of tools for debugging distributed autonomous systems
• scientific article; zbMATH DE number 2080308

Cited in

(5)

• 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
• Assurance of dynamic adaptation in distributed systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751454)