메뉴 건너뛰기




Volumn 1709, Issue , 1999, Pages 1477-1496

Non-atomic refinement in Z

Author keywords

Non atomic operations; Non atomic refinement; Refinement; Specification; Z

Indexed keywords

ATOMS; FORMAL METHODS; METADATA; SPECIFICATIONS;

EID: 84949499004     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_28     Document Type: Conference Paper
Times cited : (20)

References (10)
  • 4
    • 84947738476 scopus 로고    scopus 로고
    • An approach to the design of distributed systems with B AMN
    • J. P. Bowen, M. G. Hinchey, and D. Till, editors, Reading, Springer-Verlag
    • M. Butler. An approach to the design of distributed systems with B AMN. In J. P. Bowen, M. G. Hinchey, and D. Till, editors, ZUM'97: The Z formal specification notation, LNCS 1212, pages 223-241, Reading, April 1997. Springer-Verlag.
    • (1997) ZUM'97: The Z Formal Specification Notation, LNCS 1212 , pp. 223-241
    • Butler, M.1
  • 7
    • 34249761034 scopus 로고
    • Event refinement in state-based concurrent systems
    • J. Sinclair and J. Woodcock. Event refinement in state-based concurrent systems. Formal Aspects of Computing, 7:266-288, 1995.
    • (1995) Formal Aspects of Computing , vol.7 , pp. 266-288
    • Sinclair, J.1    Woodcock, J.2


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