scientific article

zbMath1233.68012MaRDI QIDQ3169433

No author found.

Publication date: 22 September 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modelingencapsulationinheritancereal-time systemsformal methodsspecification\(\pi\)-calculusObject-Zsubtypingdynamic reconfigurationUMLLOTOSactorsambientsSDLobject-based distributed systems

Mathematics Subject Classification ID

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

Related Items (2)

On Composing Finite Forests with Modal Logics ⋮ Analysing neurobiological models using communicating automata

This page was built for publication: