Vertical implementation

DOI10.1006/INCO.2001.2967MaRDI QIDQ1854462zbMATH OpenOpenAlexFDO

Authors Arend Rensink, Roberto Gorrieri

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/vertical-implementation(f0d008ec-c07e-41b6-b779-e74521f58823).html, https://research.utwente.nl/en/publications/f0d008ec-c07e-41b6-b779-e74521f58823

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4187623
• scientific article; zbMATH DE number 3907449
• scientific article; zbMATH DE number 1356684
• scientific article
• Vertical integration from the large Hilbert space
• Vertical integration as a source of hold-up
• Product differentiation in a vertical structure
• Vertical genera
• Profit raising entry in a vertical structure
• scientific article; zbMATH DE number 1432243

Cites work

• A causal operational semantics of action refinement
• A Theory of Communicating Sequential Processes
• Action refinement.
• Adding action refinement to a finite process algebra
• Barbed bisimulation
• Bisimilarity of open terms.
• Bisimulation and action refinement
• Branching time and abstraction in bisimulation semantics
• Comparing syntactic and semantic action refinement
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• Failures semantics based on interval semiwords is a congruence for refinement
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 92605 (Why is no real title available?)
• scientific article; zbMATH DE number 1988986 (Why is no real title available?)
• scientific article; zbMATH DE number 4117829 (Why is no real title available?)
• On guarded recursion
• Process Algebra
• Proving congruence of bisimulation in functional programming languages
• Refinement of actions and equivalence notions for concurrent systems
• Split and ST bisimulation semantics
• Symbolic bisimulations
• Testing equivalences for processes
• The limit of split\(_ n\)-language equivalence
• Towards action-refinement in process algebras

Cited in

(10)

• Interleaving isotactics -- an equivalence notion on behaviour abstractions
• Verifying implementation relations
• TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
• scientific article; zbMATH DE number 3990846 (Why is no real title available?)
• scientific article; zbMATH DE number 1121419 (Why is no real title available?)
• scientific article; zbMATH DE number 2113951 (Why is no real title available?)
• General refinement. II: Flexible refinement
• Contexts, refinement and determinism
• Horizontal Composability Revisited
• Towards the hierarchical verification of reactive systems

This page was built for publication: Vertical implementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854462)