General refinement. I: Interfaces, determinism and special refinement

DOI10.1016/J.ENTCS.2008.06.013MaRDI QIDQ5403470zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Steve Reeves, David Streader

Publication date 26 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.06.013

zbMATH Keywords

determinismrefinementoperational semanticsstate-basedevent-based

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• General refinement. II: Flexible refinement
• Relational concurrent refinement
• Unifying concurrent and relational refinement
• Refinement
• Generic tools via general refinement

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• scientific article; zbMATH DE number 3814961 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1487498 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• scientific article; zbMATH DE number 2227867 (Why is no real title available?)
• A singleton failures semantics for communicating sequential processes
• Compositional failure-based semantic models for basic LOTOS
• Contexts, refinement and determinism
• Data Refinement
• Forward and backward simulations. I. Untimed Systems
• General refinement. II: Flexible refinement
• Masked prioritized synchronization for interaction and control of discrete event systems
• Process Algebra
• Relational concurrent refinement
• Testing theories for broadcasting processes
• The B-Book
• Theoretical Aspects of Computing - ICTAC 2004
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(7)

• Guarded operations, refinement and simulation
• Contexts, refinement and determinism
• Interfaces for refining recursion and procedures
• Generic tools via general refinement
• General refinement. II: Flexible refinement
• Building Specifications in the Event-B Institution
• Refinement by Interpretation in a General Setting

Describes a project that uses

Uses Software

• Z

This page was built for publication: General refinement. I: Interfaces, determinism and special refinement

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