scientific article; zbMATH DE number 140244

MaRDI QIDQ4028634zbMATH OpenFDO

Authors Benoît Caillaud

Publication date 28 March 1993

zbMATH Keywords

distributed algorithmsobserverssuperimpositionnormal form transformationEstelledistributed program composition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• Superimpositions and Aspect-oriented Programming
• Superposition refinement of reactive systems
• scientific article; zbMATH DE number 4082959
• scientific article; zbMATH DE number 140256
• scientific article; zbMATH DE number 3943000

Cited in

(1)

• Superimpositions and Aspect-oriented Programming

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