Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Streader, David - Department of Computer Science, University of Waikato
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
Comparison of data and process refinement+ Steve Reeves and David Streader
Contexts and Observations As a Bridge between Formal Models
Horizontal + Vertical Parametrised
Statebased and processbased valuepassing Steve Reeves and David Streader
Formal methods with out the maths!
General Refinement, Part Two: Flexible Refinement
Working Paper Series ISSN 1177-777X
Working Paper Series ISSN 1177-777X
Causal Process Algebra Always getting the right drink from a coffee
Stepwise Refinement of Processes Steve Reeves and David Streader
Formal methods Salery by negotiation
Formal Methods straight jacket
semantics for Formality, Flexibility
Refinement-BYO Refinement
Guarded operations, refinement and simulation Steve Reeves and David Streader
Generic Tools via General
The Formal Methods straight jacket
General Refinement, Part One: Interfaces, Determinism and Special
Unifying state and process determinism Steve Reeves and David Streader
