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
15
views
16
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,431
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
IFM’99
On the Refinement and Simulation of Data Types and Processes
other
Author(s):
Christie Bolton
,
Jim Davies
,
Jim Woodcock
Publication date
(Print):
1999
Publisher:
Springer London
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
On Research Data Publishing
Most cited references
16
Record
: found
Abstract
: not found
Book
: not found
The Z notation: a reference manual
J. M. Spivey
,
J Spivey
,
J.M. Spivey
…
(1992)
0
comments
Cited
23
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Object-Z: A specification language advocated for the description of standards
Roger Duke
,
Gordon Rose
,
Graeme Smith
(1995)
0
comments
Cited
20
times
– based on
0
reviews
Review now
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):
1999
Pages
: 273-292
DOI:
10.1007/978-1-4471-0851-1_15
SO-VID:
e6eb69a2-91b5-4310-a8cb-3af503578810
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 49
Towards Real-Time Object-Z
pp. 273
On the Refinement and Simulation of Data Types and Processes
pp. 437
Using a Process Algebra to control B OPERATIONS
Similar content
2,431
DCAMIL: Eye-tracking guided dual-cross-attention multi-instance learning for refining fundus disease detection
Authors:
H. JIANG
,
M. GAO
,
J Huang
…
Refining the risk of HTLV-1-associated myelopathy in people living with HTLV-1: identification of a HAM-like phenotype in a proportion of asymptomatic carriers
Authors:
Daniel Harding
,
Carolina Rosadas
,
Sandra Maria Tsoti
…
A Refined Analysis of Zcash Anonymity
Authors:
Zongyang Zhang
,
Weihan Li
,
Haitao Liu
…
See all similar
Cited by
6
Retrenchment, Refinement, and Simulation
Authors:
R Banach
,
M. Poppleton
Is proof more cost-effective than testing?
Authors:
R. Chapman
,
J. Hammond
,
A. Pryor
…
Operation Refinement and Monotonicity in the Schema Calculus
Authors:
Moshe Deutsch
,
Martin Henson
,
Steve Reeves
See all cited by