Go to main content

Refinement : semantics, languages and applications / John Derrick, Eerke Boiten.

Derrick, John, 1963- author.; Boiten, Eerke, 1966- author.
2018
QA76.76.A65 D47 2018
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Refinement : semantics, languages and applications / John Derrick, Eerke Boiten.
Author
Derrick, John, 1963- author.
ISBN
9783319927114 (electronic book)
3319927116 (electronic book)
9783319927091
3319927094
DOI
https://doi.org/10.1007/978-3-319-92711-4
Published
Cham, Switzerland : Springer, [2018]
Language
English
Description
1 online resource
Item Number
10.1007/978-3-319-92711-4 doi
Call Number
QA76.76.A65 D47 2018
Dewey Decimal Classification
005.3
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Description based on online resource; title from digital title page (viewed on September 17, 2018).
Added Author
Boiten, Eerke, 1966- author.
Available in Other Form
Print version: 9783319927091
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Semantics.- Labeled Transition Systems and their Refinement.- Automata
introducing simulations.- Simple State Based Refinement.- A Relational View of Refinement.- Perspicuity, Divergence, and Internal Operations.- Refinement in Specification Languages.- State-based Languages: Z and B.- State-based Languages: Event-B and ASM.- Relating Notions of Refinement.- Relational Concurrent Refinement.- Relating Data Refinement and Failures-divergences Refinement.- Process data types
a fully general model of concurrent refinement.

Browse Subjects

Show more subjects...

Statistics

from
to
Export