메뉴 건너뛰기




Volumn 1382, Issue , 1998, Pages 205-220

Model-checking CSP-Z

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL SPECIFICATION;

EID: 84899112008     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053592     Document Type: Conference Paper
Times cited : (15)

References (20)
  • 2
    • 0023544236 scopus 로고
    • Introduction to the ISO specification language LOTOS
    • January
    • T. Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1): 25-59, January 1987.
    • (1987) Computer Networks and ISDN Systems , vol.14 , Issue.1 , pp. 25-59
    • Bolognesi, T.1    Brinksma, E.2
  • 3
    • 0342694716 scopus 로고
    • An improved failures model for communication processes
    • S. D. Brookes and A. W. Roscoe. An improved failures model for communication processes. In Lecture Notes on Computer Science, volume 197, pages 281-305, 1985.
    • (1985) Lecture Notes on Computer Science , vol.197 , pp. 281-305
    • Brookes, S.D.1    Roscoe, A.W.2
  • 4
    • 0042353271 scopus 로고
    • Deadlock analysis in networks of communicating processes
    • S. D. Brookes and A. W. Roscoe. Deadlock analysis in networks of communicating processes. Distributed Computing, pages 209-230, 1991.
    • (1991) Distributed Computing , pp. 209-230
    • Brookes, S.D.1    Roscoe, A.W.2
  • 5
    • 0342694715 scopus 로고
    • Fault-Tolerance Aspects of the On-Board Computer of the First INPE Microsatellite for Scientific Appücations
    • August
    • A. R. de Paula Jr. Fault-Tolerance Aspects of the On-Board Computer of the First INPE Microsatellite for Scientific Appücations. VI Brazilian Symposium on Fault-Tolerant Computers, August 1995.
    • (1995) VI Brazilian Symposium on Fault-Tolerant Computers
    • de Paula, A.R.1
  • 7
    • 0342694713 scopus 로고    scopus 로고
    • Technical report, University of Oldenburg
    • C. Fischer. Combining CSP and Z. Technical report, University of Oldenburg, 1996.
    • (1996) Combining CSP and Z
    • Fischer, C.1
  • 10
    • 84957380343 scopus 로고    scopus 로고
    • A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
    • number 1313 in Lecture Notes in Computer Science,. Springer Verlag
    • G. Smith. A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, number 1313 in Lecture Notes in Computer Science, pages 62-81. Springer Verlag, 1997.
    • (1997) FME'97: Industrial Applications and Strengthened Foundations of Formal Methods , pp. 62-81
    • Smith, G.1
  • 11
    • 0004215719 scopus 로고
    • SRI International, SRI-CSL-88-9, August, Revised version to appear with additional authors José Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud, in Applications of Algebraic Specification using OBJ
    • J. A. Goguen and T. Winkler. Introducing OBJ3. Technical report, SRI International, SRI-CSL-88-9, August 1988. Revised version to appear with additional authors José Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud, in Applications of Algebraic Specification using OBJ.
    • (1988) Introducing OBJ3. Technical report
    • Goguen, J.A.1    Winkler, T.2
  • 19
    • 84947764778 scopus 로고    scopus 로고
    • The Z/EVES System
    • Lecture Notes in Computer Science, 1212, Springer
    • M. Saaltink. The Z/EVES System. In ZUM'97: The Z Formal Specification Notation, pages 72-85. Lecture Notes in Computer Science, 1212, Springer, 1997.
    • (1997) ZUM'97: The Z Formal Specification Notation , pp. 72-85
    • Saaltink, M.1


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