Vertical implementation
From MaRDI portal
Publication:1854462
DOI10.1006/INCO.2001.2967zbMath1005.68095OpenAlexW2914320554MaRDI QIDQ1854462
Roberto Gorrieri, Arend Rensink
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
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Interleaving isotactics -- an equivalence notion on behaviour abstractions ⋮ Towards the hierarchical verification of reactive systems ⋮ General Refinement, Part Two: Flexible Refinement ⋮ Contexts, refinement and determinism
Cites Work
- Symbolic bisimulations
- Bisimulation and action refinement
- Failures semantics based on interval semiwords is a congruence for refinement
- On guarded recursion
- Adding action refinement to a finite process algebra
- Testing equivalences for processes
- Bisimilarity of open terms.
- Split and ST bisimulation semantics
- A causal operational semantics of action refinement
- Proving congruence of bisimulation in functional programming languages
- Comparing syntactic and semantic action refinement
- The limit of split\(_ n\)-language equivalence
- Towards action-refinement in process algebras
- A Theory of Communicating Sequential Processes
- Process Algebra
- Branching time and abstraction in bisimulation semantics
- Barbed bisimulation
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- Refinement of actions and equivalence notions for concurrent systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Vertical implementation
