scientific article; zbMATH DE number 92605

zbMATH Open0762.68020MaRDI QIDQ4018071FDOQ4018071

Authors: Roberto Gorrieri 

Publication date: 16 January 1993

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

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

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)

Cited In (2)

• Vertical implementation
• Title not available (Why is that?)

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)