메뉴 건너뛰기




Volumn 3312, Issue , 2004, Pages 337-351

An operational semantics for weak PSL

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED DESIGN; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTICS; SPECIFICATION LANGUAGES;

EID: 33846567603     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30494-4_24     Document Type: Article
Times cited : (14)

References (10)
  • 1
    • 84862482132 scopus 로고    scopus 로고
    • Accellera. www.accellera.org.
  • 4
    • 35248866948 scopus 로고    scopus 로고
    • Resets vs. aborts in linear temporal logic
    • Tools and Algorithms for the Construction and Analysis of Systems, TACAS03, pages 65-80. April
    • R. Armoni, D. Bustan, O. Kupferman, and M. Vardi. Resets vs. aborts in linear temporal logic. In Tools and Algorithms for the Construction and Analysis of Systems, TACAS03, pages 65-80. LNCS 2619, April 2003.
    • (2003) LNCS , vol.2619
    • Armoni, R.1    Bustan, D.2    Kupferman, O.3    Vardi, M.4
  • 5
    • 84945709734 scopus 로고
    • Derivatives of regular expressions
    • October
    • J. A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481-494, October 1964.
    • (1964) Journal of the ACM , vol.11 , Issue.4 , pp. 481-494
    • Brzozowski, J.A.1
  • 6
    • 84862481097 scopus 로고    scopus 로고
    • Relating operational and denotational semantics for WPL
    • Available on request from the authors
    • K. Claessen and J. Mårtensson. Relating operational and denotational semantics for WPL. Tech. Rep. Available on request from the authors.
    • Tech. Rep.
    • Claessen, K.1    Mårtensson, J.2
  • 7
    • 35248878834 scopus 로고    scopus 로고
    • Reasoning with temporal logic on truncated paths
    • Computer Aided Verification, CAV03, July
    • C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. McIsaac, and D. van Campenhout. Reasoning with temporal logic on truncated paths. In Computer Aided Verification, CAV03, pages 27-39. LNCS 2725, July 2003.
    • (2003) LNCS , vol.2725 , pp. 27-39
    • Eisner, C.1    Fisman, D.2    Havlicek, J.3    Lustig, Y.4    McIsaac, A.5    Van Campenhout, D.6
  • 9
    • 0142152297 scopus 로고    scopus 로고
    • Executing the formal semantics of the Accellera property specification language by mechanised theorem proving
    • Correct Hardware Design and Verification Methods, CHARME03, October
    • M. Gordon, J. Kurd, and K. Slind. Executing the formal semantics of the Accellera property specification language by mechanised theorem proving. In Correct Hardware Design and Verification Methods, CHARME03, pages 200-215. LNCS 2860, October 2003.
    • (2003) LNCS , vol.2860 , pp. 200-215
    • Gordon, M.1    Kurd, J.2    Slind, K.3
  • 10
    • 84862476729 scopus 로고    scopus 로고
    • A weak/strong words semantics for PSL
    • Available on request from the author
    • J. Mårtensson. A weak/strong words semantics for PSL. Tech. Rep. Available on request from the author.
    • Tech. Rep.
    • Mårtensson, J.1


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