Trace refinement of action systems

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

Volumn 836 LNCS, Issue , 1994, Pages 367-384

  Back, R J R ^a   Von Wright, J ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ATOMIC ACTIONS; BEHAVIORAL SEMANTICS; EXECUTION TRACE; GENERAL DESCRIPTION; REACTIVE SYSTEM; REFINEMENT METHODS; SEQUENTIAL PROGRAMS; TRACE REFINEMENT;

SEMANTICS;

EID: 84957834678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48654-1_28     Document Type: Conference Paper

References (15)

1. M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82:253-284, 1991.
2. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.
3. R. Back. Refinement calculus, part II: Parallel and reactive programs. In REX Workshop for Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, Nijmegen, The Netherlands, 1989. Springer-Verlag.
4. R. Back. Refining atomicity in parallel algorithms. In PARLE Conference on Parallel Architectures and Languages Europe, Eindhoven, the Netherlands, June 1989. Springer Verlag.
5. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp on Principles of Distributed Computing, pages 131-142. ACM, 1983.
6. R. Back and R. Kurki-Suonio. Distributed co-operation with action systems. ACM Transactions on Programming Languages and Systems, 10:513-554, October 1988.
7. R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17-30, 1991.
8. R. Back and K. Sere. Superposition refinement of parallel algorithms. In K. Parker and G. Rose, editors, Formal Description Techniques IV, pages 475-493. Elsevier Science Publishers (North-Holland), 1992.
9. R. Back and J. von Wright. Refinement calculus, part I: Sequential programs. In REX Workshop for Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, Nijmegen, The Netherlands, 1989. Springer-Verlag.
10. M. Butler. Refinement and Decomposition of Value-Passing Action Systems. In E. Best, editor, CONCUR’93, volume LNCS 715. Springer-Verlag, 1993.
11. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
12. E. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
13. B. Jonsson. Simulations between specifications of distributed systems. In Proceedings of 2nd International Conference on Concurrency Theory (CONCUR’91), volume 527 of Lecture Notes in Computer Science, Amsterdam, The Netherlands, 1991. Springer-Verlag.
14. L. Lamport. A Temporal Logic of Actions. Src report 57, Digital SRC, 1990.
15. C. Morgan. Programming from Specifications. Prentice-Hall, 1990.