메뉴 건너뛰기




Volumn 35, Issue 2, 1998, Pages 91-129

Data refinement of mixed specifications: A generalization of UNITY

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0041179359     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050115     Document Type: Article
Times cited : (3)

References (31)
  • 1
    • 0024129970 scopus 로고
    • A calculus of refinements for program derivations
    • R.J.R. Back: A calculus of refinements for program derivations. Acta Informatica, 25:593-624 (1988)
    • (1988) Acta Informatica , vol.25 , pp. 593-624
    • Back, R.J.R.1
  • 2
    • 84957834675 scopus 로고
    • Refinement calculus, part II: Parallel and reactive programs
    • J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems
    • R.J.R. Back: Refinement calculus, part II: Parallel and reactive programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 430, pages 67-93. REX Workshop on Stepwise Refinement of Distributed Systems, 1989.
    • (1989) Lecture Notes in Computer Science Volume 430 , vol.430 , pp. 67-93
    • Back, R.J.R.1
  • 3
    • 85017204677 scopus 로고
    • Refinement calculus, part I: Sequential nondeterministic programs
    • J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems
    • R.J.R. Back, J. von Wright: Refinement calculus, part I: Sequential nondeterministic programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 430, pages 42-66. REX Workshop on Stepwise Refinement of Distributed Systems, 1989.
    • (1989) Lecture Notes in Computer Science Volume 430 , vol.430 , pp. 42-66
    • Back, R.J.R.1    Von Wright, J.2
  • 4
    • 0025458530 scopus 로고
    • Duality in specification languages: A lattice-theoretical approach
    • R.J.R. Back, J. von Wright: Duality in specification languages: A lattice-theoretical approach. Acta Informatica, 27:583-625 (1990)
    • (1990) Acta Informatica , vol.27 , pp. 583-625
    • Back, R.J.R.1    Von Wright, J.2
  • 5
    • 0026882182 scopus 로고
    • Combining angels, demons and miracles in program specifications
    • R.J.R. Back, J. von Wright: Combining angels, demons and miracles in program specifications. Theoretical Computer Science, 100(2):365-383 (1992)
    • (1992) Theoretical Computer Science , vol.100 , Issue.2 , pp. 365-383
    • Back, R.J.R.1    Von Wright, J.2
  • 8
    • 24644485295 scopus 로고
    • Towards a calculus of data refinement
    • J.L. van de Schnepscheut, editor, International Conference on Mathematics of Program Construction
    • W. Chen, J.T. Udding: Towards a calculus of data refinement. In J.L. van de Schnepscheut, editor, Lecture Notes in Computer Science Volume 375, pages 197-218. International Conference on Mathematics of Program Construction, 1989.
    • (1989) Lecture Notes in Computer Science Volume 375 , vol.375 , pp. 197-218
    • Chen, W.1    Udding, J.T.2
  • 11
    • 0004479697 scopus 로고
    • Programs, recursion, and unbounded choice: Predicate transformer semantics and transformation rules
    • Cambridge University Press
    • Wim H. Hesselink: Programs, Recursion, and Unbounded Choice: Predicate Transformer Semantics and Transformation Rules. Cambridge Tracts in Theoretical Computer Science 27. Cambridge University Press, 1992.
    • (1992) Cambridge Tracts in Theoretical Computer Science 27
    • Wim, H.1
  • 12
    • 0015482118 scopus 로고
    • Proofs of correctness of data representations
    • C.A.R. Hoare: Proofs of correctness of data representations. Acta Informatica, 1(4):271-281 (1972)
    • (1972) Acta Informatica , vol.1 , Issue.4 , pp. 271-281
    • Hoare, C.A.R.1
  • 13
    • 85027513509 scopus 로고
    • Simulations between specifications of distributed systems
    • J.C. Baeten and J.F. Groote, editors CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer
    • Bengt Jonsson: Simulations between specifications of distributed systems. In J.C. Baeten and J.F. Groote, editors. Lecture Notes in Computer Science 527, pages 346-360. CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer 1991.
    • (1991) Lecture Notes in Computer Science 527 , pp. 346-360
    • Jonsson, B.1
  • 15
  • 16
    • 0017996760 scopus 로고
    • Time, clocks and ordering of events in distributed systems
    • Leslie Lamport: Time, clocks and ordering of events in distributed systems. Communications of the ACM, 21(7):558-565 (1978)
    • (1978) Communications of the ACM , vol.21 , Issue.7 , pp. 558-565
    • Lamport, L.1
  • 18
    • 85028753334 scopus 로고
    • Multivalued possibilities mappings
    • J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems
    • Nancy A. Lynch: Multivalued possibilities mappings. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 430, pages 519-544. REX Workshop on Stepwise Refinement of Distributed Systems, 1989.
    • (1989) Lecture Notes in Computer Science Volume 430 , vol.430 , pp. 519-544
    • Lynch, N.A.1
  • 19
    • 0022069122 scopus 로고
    • A √N algorithm for mutual exclusion in decentralized systems
    • M. Maekawa: A √N algorithm for mutual exclusion in decentralized systems. ACM Transactions on Computer Systems, 3(2):145-159 (1985)
    • (1985) ACM Transactions on Computer Systems , vol.3 , Issue.2 , pp. 145-159
    • Maekawa, M.1
  • 20
  • 22
    • 0025433934 scopus 로고
    • Data refinement by calculation
    • Carroll Morgan, P.H.B. Gardiner: Data refinement by calculation. Acta Informatica, 27:481-503 (1990)
    • (1990) Acta Informatica , vol.27 , pp. 481-503
    • Morgan, C.1    Gardiner, P.H.B.2
  • 25
    • 0008159823 scopus 로고
    • Eliminating the substitution axiom from UNITY logic
    • Beverly Sanders: Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3(2) (1991)
    • (1991) Formal Aspects of Computing , vol.3 , Issue.2
    • Sanders, B.1
  • 26
    • 0023401462 scopus 로고
    • The information structure of distributed mutual exclusion algorithms
    • Beverly A. Sanders: The information structure of distributed mutual exclusion algorithms. ACM Transactions on Computer Systems, 5(3):284-299 (1987)
    • (1987) ACM Transactions on Computer Systems , vol.5 , Issue.3 , pp. 284-299
    • Sanders, B.A.1
  • 27
    • 0040250862 scopus 로고
    • Stepwise refinement of mixed specifications of concurrent programs
    • M. Broy and C.B. Jones, editors, Amsterdam: Elsevier Science Publishers B.V. (North Holland)
    • Beverly A. Sanders. Stepwise refinement of mixed specifications of concurrent programs. In M. Broy and C.B. Jones, editors, Proceedings of the IFIP Working Conference on Programming Concepts and Methods, pages 1-25. Amsterdam: Elsevier Science Publishers B.V. (North Holland), 1990.
    • (1990) Proceedings of the IFIP Working Conference on Programming Concepts and Methods , pp. 1-25
    • Sanders, B.A.1
  • 28
    • 0040250864 scopus 로고
    • Reasoning about programs by exploiting the environment
    • Proceedings 21st International Colloquium, ICALP'94. Berlin Heidelberg New York: Springer
    • Fred Schneider, Lenore Fix: Reasoning about programs by exploiting the environment. In Lecture Notes in Computer Science 820, pages 328-339. Proceedings 21st International Colloquium, ICALP'94. Berlin Heidelberg New York: Springer 1994.
    • (1994) Lecture Notes in Computer Science 820 , pp. 328-339
    • Schneider, F.1    Lenore, F.2
  • 29
    • 21144466790 scopus 로고
    • Program refinement in fair transition systems
    • Ambuj K. Singh: Program refinement in fair transition systems. Acta Informatica, 30(6):503-535 (1993)
    • (1993) Acta Informatica , vol.30 , Issue.6 , pp. 503-535
    • Singh, A.K.1
  • 30
    • 84955558486 scopus 로고
    • On the relation between UNITY properties and sequences of states
    • J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Semantics: Foundations and Applications. Berlin Heidelberg New York; Springer
    • R. T. Udink, J.N. Kok: On the relation between UNITY properties and sequences of states. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 666, pages 594-608. REX Workshop on Semantics: Foundations and Applications. Berlin Heidelberg New York; Springer 1993.
    • (1993) Lecture Notes in Computer Science Volume 666 , vol.666 , pp. 594-608
    • Udink, R.T.1    Kok, J.N.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.