Communicating sequential processes
Communicating sequential processes
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Process algebra
The Z notation: a reference manual
The Z notation: a reference manual
Forward and backward simulations I.: untimed systems
Information and Computation
A calculus of broadcasting systems
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
A Calculus of Value Broadcasts
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
A PROCESS ALGEBRAIC VIEW OF I/O AUTOMATA
A PROCESS ALGEBRAIC VIEW OF I/O AUTOMATA
A singleton failures semantics for communicating sequential processes
A singleton failures semantics for communicating sequential processes
A singleton failures semantics for Communicating Sequential Processes
Formal Aspects of Computing
General Refinement, Part Two: Flexible Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Refinement and reachability in event_b
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Guarded Operations, Refinement and Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
On model compatibility with referees and contexts
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show explicitly how five refinement relations, taken from the refinement literature, are instances of our general model. Henceforth, since they are specialisations of a general model, we call these instances special models. We show these theories of refinement are special models simply by fixing the sets of contexts and observations involved in appropriate ways.