Structural Refinement of Systems Specified in Object-Z and CSP

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Formal Aspects of Computing

• Publication date

  2003-07-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s00165-003-0002-9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A singleton failures semantics for Communicating Sequential Processes

  2006cited by this paper
• Unifying concurrent and relational refinement

  2002cited by this paper
• Refinement in Object-Z and CSP

  2002cited by this paper
• Refinement in Z and Object-Z

  2001cited by this paper
• Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

  2001influential reference
• Structural Refinement in Object-Z/CSP

  2000influential reference
• Combination and implementation of processes and data: from CSP-OZ to Java

  2000cited by this paper
• RT-Z: An Integration of Z and timed CSP

  1999cited by this paper
• Sensors and Actuators in TCOZ

  1999cited by this paper
• Model-Checking CSP-OZ Specifications with FDR

  1999cited by this paper
• On the Refinement and Simulation of Data Types and Processes

  1999cited by this paper
• Specifying Interactive Systems in Object-Z and CSP

  1999cited by this paper
• The Object-Z Specification Language

  1999cited by this paper
• Using a Process Algebra to Control B Operations

  1999cited by this paper
• ZUM '98: The Z Formal Specification Notation

  1998cited by this paper
• How to Combine Z with Process Algebra

  1998cited by this paper
• Specifying and Refining Internal Operations in Z

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Blending Object-Z and Timed CSP: an introduction to TCOZ

  1998cited by this paper
• The Theory and Practice of Concurrency

  1997cited by this paper
• A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems

  1997cited by this paper
• ZUM '97: The Z Formal Specification Notation

  1997cited by this paper
• Refinement and verification of concurrent systems specified in Object-Z and CSP

  1997cited by this paper
• Weak Refinement in Z

  1997cited by this paper
• An operational semantics for ZCCS

  1997cited by this paper
• The state-based CCS semantics for concurrent Z specification

  1997cited by this paper
• Using Z - specification, refinement, and proof

  1996cited by this paper
• A fully abstract semantics of classes for Object-Z

  1995cited by this paper
• The Z notation - a reference manual

  1992cited by this paper
• The Z notation: A reference manual

  1990cited by this paper
• Refinement of State-Based Concurrent Systems

  1990cited by this paper
• Communication and concurrency

  1989cited by this paper
• A state-based approach to communicating processes

  1988cited by this paper
• Data Refinement Refined

  1986cited by this paper
• An Improved Failures Model for Communicating Processes

  1984cited by this paper

• State-Based Languages: Z and B

  2018cites this paper
• The Object-Z Specification Language

  2011cites this paper
• Towards a formal framework for developing concurrent programs: Modeling dynamic behavior

  2010cites this paper
• Model transformations across views

  2010influential citation
• Specifying and Checking Refinement Relationships in VDM++

  2009cites this paper
• Extending Formal Methods for Software-Intensive Systems

  2008cites this paper
• On the expressiveness of timed coordination models

  2006cites this paper
• Model Transformations Incorporating Multiple Views

  2006cites this paper
• Process Refinement in B

  2005influential citation
• Refinement and Consistency in Component Models with Multiple Views

  2004cites this paper