Formal methods for distributed processing. A survey of object-oriented approaches.

MaRDI QIDQ3169432zbMATH OpenFDO

Authors

Publication date 22 September 2011

zbMATH Keywords

modeling\(\pi\)-calculusformal methodsreal-time systemsspecificationinheritancesubtypingdynamic reconfigurationencapsulationUMLLOTOSObject-ZactorsambientsSDLobject-based distributed systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reactive Systems
• scientific article; zbMATH DE number 1231678
• Issues in formal methods
• Modelling distributed systems.
• scientific article; zbMATH DE number 2130218

Cited in

(4)

• Issues in formal methods
• scientific article; zbMATH DE number 5949231 (Why is no real title available?)
• SCTL-MUS: A formal methodology for software development of distributed systems. A case study
• A formal approach to the engineering of domain-specific distributed systems

This page was built for publication: Formal methods for distributed processing. A survey of object-oriented approaches.

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