Towards formal specification of a distributed computing system

DOI10.1007/BF00987039MaRDI QIDQ3721801zbMATH OpenFDO

Authors Vinod K. Agrawal, L. M. Patnaik, P. S. Goel

Publication date 1985

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00987039

zbMATH Keywords

concurrencydeadlockdistributed computing systemsexclusivenessfunctionally distributed systemOnboard spacecraft computing systemprotocolsequencing relationshipsspecification

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4084996
• scientific article; zbMATH DE number 3868587
• scientific article; zbMATH DE number 3898216
• Issues in formal methods
• scientific article; zbMATH DE number 3898215

Cites work

• Towards formal specification of a distributed computing system

Cited in

(12)

• Specifying distributed computer architectures in AADL
• Formal stystems specification. The RPC-memory specification case study
• Specification styles in distributed systems design and verification
• Design of a multi-formalism application and distribution in a data-flow context: An example
• scientific article; zbMATH DE number 5949231 (Why is no real title available?)
• scientific article; zbMATH DE number 7222494 (Why is no real title available?)
• Towards formal specification of a distributed computing system
• scientific article; zbMATH DE number 107730 (Why is no real title available?)
• scientific article; zbMATH DE number 1515852 (Why is no real title available?)
• scientific article; zbMATH DE number 2086959 (Why is no real title available?)
• scientific article; zbMATH DE number 2090561 (Why is no real title available?)
• SCTL-MUS: A formal methodology for software development of distributed systems. A case study

This page was built for publication: Towards formal specification of a distributed computing system

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