scientific article; zbMATH DE number 1304365

MaRDI QIDQ4251097zbMATH OpenFDO

Authors Marcello M. Bonsangue, Joost N. Kok, K. Sere

Publication date 17 June 1999

zbMATH Keywords

distributed objectOO-action systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Stepwise refinement of communicating systems
• scientific article; zbMATH DE number 1231678
• Action systems in incremental and aspect-oriented modeling
• Formal methods for distributed processing. A survey of object-oriented approaches.
• Refinement of fair action systems

Cited in

(10)

• Verification and refinement with fine-grained action-based concurrent objects
• Stepwise refinement of communicating systems
• Object-oriented design and architecture of distributed systems
• scientific article; zbMATH DE number 1258215 (Why is no real title available?)
• scientific article; zbMATH DE number 1942591 (Why is no real title available?)
• scientific article; zbMATH DE number 2087863 (Why is no real title available?)
• Action systems in incremental and aspect-oriented modeling
• Logic Based Program Synthesis and Transformation
• Developing and maintaining an object-oriented distributed multimedia information system
• Kaisa Sere: in memoriam

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