scientific article; zbMATH DE number 140244

zbMATH Open0769.68091MaRDI QIDQ4028634FDOQ4028634

Authors: Benoît Caillaud 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

distributed algorithmsobserverssuperimpositionnormal form transformationEstelledistributed program composition

Mathematics Subject Classification ID

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

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)