Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
15
references
Top references
cited by
6
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,570
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Using Coupled Simulations in Non-atomic Refinement
other
Author(s):
John Derrick
,
Heike Wehrheim
Publication date
(Online):
May 27 2003
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Atomic Force Microscopy
Most cited references
15
Record
: found
Abstract
: not found
Book
: not found
The B-Book
J. Abrial
,
A Hoare
,
Pierre Chapron
(2010)
0
comments
Cited
176
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Data Refinement
Willem-Paul de Roever
,
Kai Engelhardt
(2010)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
CSP-OZ: A Combination of Object-Z and CSP
Clemens Fischer
(1997)
0
comments
Cited
15
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2003
Publication date (Online):
May 27 2003
Pages
: 127-147
DOI:
10.1007/3-540-44880-2_10
SO-VID:
94579bab-b853-4fb6-8784-39acdce2386d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Alloy: A Logical Modelling Language
pp. 2
An Outline Pattern Language for Z: Five Illustrations and Two Tables
pp. 20
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
pp. 40
Reuse of Specification Patterns with the B Method
pp. 58
Composing Specifications Using Communication
pp. 79
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
pp. 98
How to Diagnose a Modern Car with a Formal B Model?
pp. 101
Parallel Hardware Design in B
pp. 103
Operation Refinement and Monotonicity in the Schema Calculus
pp. 127
Using Coupled Simulations in Non-atomic Refinement
pp. 148
An Analysis of Forward Simulation Data Refinement
pp. 168
B#: Toward a Synthesis between Z and B
pp. 178
Introducing Backward Refinement into B
pp. 197
Expression Transformers in B-GSL
pp. 216
Probabilistic Termination in B
pp. 240
Probabilistic Invariants for Probabilistic Machines
pp. 260
Proving Temporal Properties of Z Specifications Using Abstraction
pp. 280
Compositional Verification for Object-Z
pp. 300
Timed CSP and Object-Z
pp. 319
Object Orientation without Extending Z
pp. 359
Towards Practical Proofs of Class Correctness
pp. 388
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
pp. 408
Refinement Preserves PLTL Properties
pp. 421
Proving Event Ordering Properties for Information Systems
pp. 437
ZML: XML Support for Standard Z
pp. 457
Formal Derivation of Spanning Trees Algorithms
pp. 477
Using B Refinement to Analyse Compensating Business Processes
pp. 497
A Formal Specification in B of a Medical Decision Support System
pp. 513
Extending B with Control Flow Breaks
pp. 528
Towards Dynamic Population Management of Abstract Machines in the B Method
Similar content
2,570
DSCAM promotes refinement in the mouse retina through cell death and restriction of exploring dendrites.
Authors:
Ivy Samuels
,
Shuai Li
,
Joshua Sukeena
…
Refinement-oriented probability for CSP
Authors:
Carroll Morgan
,
Annabelle McIver
,
Karen Seidel
…
Local Refinement Typing
Authors:
Benjamin Cosman
,
Ranjit Jhala
See all similar
Cited by
6
Admit Your Weakness: Verifying Correctness on TSO Architectures
Authors:
Graeme Smith
,
John Derrick
,
Brijesh Dongol
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
Authors:
Gerhard Schellhorn
Refinement in Object-Z
Authors:
John Derrick
,
Eerke A. Boiten
See all cited by