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

MaRDI QIDQ3169432zbMATH OpenFDO

Authors

Publication date 22 September 2011

zbMATH Keywords

\(\pi\)-calculusactorsambientsdynamic reconfigurationencapsulationformal methodsinheritanceLOTOSmodelingobject-based distributed systemsObject-Zreal-time systemsSDLspecificationsubtypingUML

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed systems (68M14) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) 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

(5)

• A formal approach to the engineering of domain-specific distributed systems
• Issues in formal methods
• scientific article; zbMATH DE number 5949231 (Why is no real title available?)
• scientific article; zbMATH DE number 1304365 (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: 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)