A compositional axiomatization of statecharts (Q1194330)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	A compositional axiomatization of statecharts	scientific article

Statements

scholarly article

A compositional axiomatization of statecharts (English)

Theoretical Computer Science

publication date

27 September 1992

zbMATH Keywords

specification language

Statecharts

programming language

program verification

compositional axiomatic system

denotational semantics

describes a project that uses

MaRDI profile type

MaRDI publication profile

First-order dynamic logic

Statecharts: a visual formalism for complex systems

Introduction to design choices in the semantics of Statecharts

Tentative steps toward a development method for interfering programs

Compositional semantics for real-time distributed computing

Proofs of Networks of Processes

A model and temporal proof system for networks of processes

Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship

Identifiers

zbMATH Open document ID

10.1016/0304-3975(92)90053-I

Mathematics Subject Classification ID

zbMATH DE Number

Sitelinks

Mathematics(1 entry)

mardi Publication:1194330

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1194330&oldid=34091890"