scientific article; zbMATH DE number 1759395

MaRDI QIDQ4536343zbMATH OpenFDO

Authors Radu Grosu

Publication date 4 November 2002

Mathematics Subject Classification ID

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

• Composition: a fresh look at an old topic
• scientific article; zbMATH DE number 2085342
• Compositional modeling and refinement for hierarchical hybrid systems
• scientific article; zbMATH DE number 1507211
• On the compositionality of round abstraction

Cited in

(1)

• On the compositionality of round abstraction

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 Q4536343)