Eternity variables to simulate specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2386, Issue , 2002, Pages 117-130

  Hesselink, Wim H ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MAPPING;

BACKWARD SIMULATIONS; CONTINUITY CONDITIONS; FORWARD SIMULATION; GENERALISATION; HISTORY VARIABLES; PROPHECY VARIABLES; REFINEMENT MAPPING;

SPECIFICATIONS;

EID: 84959058985     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45442-X_8     Document Type: Conference Paper

References (12)

1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer Science 82 (1991) 253–284
2. Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems 17 (1995) 507–534.
3. Cohen, E., Lamport, L.: Reduction in TLA. In: Sangiorgi, D., Simone, R. de (eds.): CONCUR’98. Springer V. 1998 (LNCS 1466), pp. 317–331.
4. He, J., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.): ESOP’86 pp. 187–196. Springer Verlag, 1986 (LNCS 213).
5. Hesselink, W.H.: Eternity variables to prove simulation of specifications (draft). http://www.cs.rug.nl/~wim/pub/whh261.pdf
6. Jonsson, B.: Simulations between specifications of distributed systems. In: Baeten, J.C.M., Groote, J.F. (eds.): CONCUR’91. Springer V. 1991 (LNCS 527), pp. 346–360.
7. Jonsson, B., Pnueli, A., Rump, C.: Proving refinement using transduction. Distributed Computing 12 (1999) 129–149.
8. Lamport, L.: Critique of the Lake Arrowhead three. Distributed Computing 6 (1992) 65–71.
9. Lamport, L.: The temporal logic of actions. ACM Trans. on Programming Languages and Systems 16 (1994) 872–923.
10. Lipton, R.J.: Reduction: A method of proving properties of parallel programs. Communications of the ACM 18 (1975) 717-721.
11. Lynch, N., Vaandrager, F.: Forward and backward simulations, Part I: Untimed systems. Information and Computation 121 (1995) 214–233.
12. Milner, R.: An algebraic definition of simulation between programs. In: Proc. 2nd Int. Joint Conf. on Artificial Intelligence. British Comp. Soc. 1971. Pages 481–489.