BOOK-CHAPTER

Formalization and Verification of Declarative Cloud Orchestration

Hiroyuki YoshidaKazuhiro OgataKokichi Futatsugi

Year: 2015 Lecture notes in computer science Pages: 33-49   Publisher: Springer Science+Business Media
Keywords:
Orchestration Liveness Computer science Network topology Cloud computing Distributed computing Automation Topology (electrical circuits) Software Software engineering Programming language Operating system Engineering

Metrics

9
Cited By
3.31
FWCI (Field Weighted Citation Impact)
6
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Cloud Computing and Resource Management
Physical Sciences →  Computer Science →  Information Systems
Distributed systems and fault tolerance
Physical Sciences →  Computer Science →  Computer Networks and Communications
Software System Performance and Reliability
Physical Sciences →  Computer Science →  Computer Networks and Communications
© 2026 ScienceGate Book Chapters — All rights reserved.