Event ordering in action systems

MaRDI QIDQ4250654zbMATH OpenFDO

Authors Michael J. Butler

Publication date 2 November 1999

zbMATH Keywords

action systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distributed cooperation with action systems
• scientific article; zbMATH DE number 4213438
• Stepwise refinement of communicating systems
• Action systems in incremental and aspect-oriented modeling
• Coordinating action systems

Cited in

(1)

• scientific article; zbMATH DE number 2013595 (Why is no real title available?)

This page was built for publication: Event ordering in action systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250654)