scientific article; zbMATH DE number 92605

MaRDI QIDQ4018071zbMATH OpenFDO

Authors Roberto Gorrieri

Publication date 16 January 1993

zbMATH Keywords

equivalencebisimulationinterleavingproof systematomic linear refinementnondeterministic concurrent systemoperator of strongProcess Description Languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
• The definitional view of atomic systems in proof-theoretic semantics
• scientific article; zbMATH DE number 176132
• A descriptive complexity approach to the linear hierarchy.
• Toward an algebraic theory of systems
• Hierarchical reasoning for the verification of parametric systems
• Applications of hierarchical reasoning in the verification of complex systems
• A Logic for Partial System Description
• Representing and absolutely representing systems

Cited in

(2)

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

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