scientific article; zbMATH DE number 1617289

MaRDI QIDQ2722013zbMATH OpenFDO

Authors Manfred Broy

Publication date 11 July 2001

Mathematics Subject Classification ID

Distributed systems (68M14) Computing methodologies and applications (68U99)

Recommendations

• From states to histories relating state and history views onto systems
• scientific article; zbMATH DE number 1696878
• Concurrent histories: a basis for observing distributed systems
• Model checking safety properties in modular high-level nets
• A model and temporal proof system for networks of processes

Cited in

(3)

• scientific article; zbMATH DE number 1696878 (Why is no real title available?)
• From states to histories relating state and history views onto systems
• scientific article; zbMATH DE number 1304366 (Why is no real title available?)

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