scientific article; zbMATH DE number 139998

zbMATH Open0766.68092MaRDI QIDQ4028359FDOQ4028359

Authors:

Publication date: 28 March 1993

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

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

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)

Cited In (8)

• Deriving graphical representations of process networks from algebraic expressions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A model and temporal proof system for networks of processes
• 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)