Power simulation and its relation to traces and failures refinement

Electronic Notes in Theoretical Computer Science

Volumn 32, Issue , 2000, Pages 78-100

  Gardiner, Paul ^a  

^a Laser Point Software Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA EXPRESSIONS; OPERATIONAL SEMANTICS; POWER SIMULATION; TRANSITION GRAPHS;

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA STRUCTURES; FORMAL LANGUAGES; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SEMANTICS;

COMPUTER SYSTEM RECOVERY;

EID: 0005451427     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00096-9     Document Type: Conference Paper

References (9)

1. R-JR Back and J von Wright. Refinement Calculus I: Sequential nondeterministic programs. In J.W. de Bakker, W.P. de Roever, and G Rozenberg, editors, stepwise refinement of distributed systems, volume 430, pages 42-66. Lncs, 1990.
2. Gardiner P.H.B. Algebraic proofs of consistency and completeness. Theoretical Computer Science. 150:1995;161-191
3. Gardiner P.H.B., Martin C.E., de Moor O. An algebraic construction of predicate transformers. Science of Computer Programming. 22:1994;21-44
4. Gardiner P.H.B., Morgan C.-C. A Single Complete Rule for Data Refinement. Formal Aspects of Computing. 5:1983;367-382
5. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall International
6. Hoare C.A.R., Jifeng He. Unified Theories of programming. 1998;Prenties Hall Europe. ISBN 0134587618.
7. Milner R. Communication and Concurrency. 1989;Prentice-Hall International
8. Morgan C.C. Programming from Specifications. 1990;Prentice-Hall
9. Roscoe A.W. The Theory and Practice of Concurrency. 1998;xv+565 Prentice Hall. ISBN 0-13-6774409-5