scientific article; zbMATH DE number 3947613

MaRDI QIDQ3718141zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

communication mechanismcorrectnessdistributed computing systemshigh level programsoperational semanticsprocess interactionprogramming methodologyverification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Cell: A Distributed Computing Modularization Concept
• CSM: A Distributed Programming Language
• Implementation of CSP-S for description of distributed algorithms
• scientific article; zbMATH DE number 4050949
• An experiment in language design for distributed systems

Cited in

(5)

• Distributing a class of sequential programs
• Cell: A Distributed Computing Modularization Concept
• Implementation of CSP-S for description of distributed algorithms
• scientific article; zbMATH DE number 1737606 (Why is no real title available?)
• scientific article; zbMATH DE number 1760055 (Why is no real title available?)

This page was built for publication:

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