Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
30
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
3,612
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
3,612
Coherence and Josephson oscillations between two tunnel-coupled one-dimensional atomic quasicondensates at finite temperature
Authors:
Pjotrs Grišins
,
Igor E. Mazets
A novel stibacarbaborane cluster with adjacent antimony atoms exhibiting unique pnictogen bond formation that dominates its crystal packing
Authors:
Josef Holub
,
Petr Melichar
,
Zdeňka Růžičková
…
Measurements of the electron impact ionisation cross sections of He, C, O and N atoms
Authors:
E. Brook
,
M F A Harrison
,
A. C. H. Smith
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