scientific article; zbMATH DE number 139998

MaRDI QIDQ4028359zbMATH OpenFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

refinementtemporal logicsalgebraic data typesspecification of process networks

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A model and temporal proof system for networks of processes
• scientific article; zbMATH DE number 3980467
• Process algebras as specification language (work in progress)
• scientific article; zbMATH DE number 4210119
• Process simulation and refinement

Cited in

(8)

• Deriving graphical representations of process networks from algebraic expressions
• scientific article; zbMATH DE number 3845063 (Why is no real title available?)
• A model and temporal proof system for networks of processes
• scientific article; zbMATH DE number 3980467 (Why is no real title available?)
• P/R nets and process concepts. I
• P/R nets and process concepts. II
• Generating and evaluating process redesign options: A network modeling approach
• Process algebras as specification language (work in progress)

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