메뉴 건너뛰기




Volumn 4260 LNCS, Issue , 2006, Pages 342-359

A reasoning method for timed CSP based on constraint solving

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FORMAL LANGUAGES; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING; REAL TIME SYSTEMS; SEMANTICS; SYNCHRONIZATION;

EID: 33845248913     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11901433_19     Document Type: Article
Times cited : (24)

References (20)
  • 6
    • 0031337405 scopus 로고    scopus 로고
    • A constraint-based approach for specification and verification of real-time systems
    • G.I Gupta and E. Pontelli. A Constraint-based Approach for Specification and Verification of Real-time Systems. In IEEE Real-Time Systems Symposium, pages 230-239, 1997.
    • (1997) IEEE Real-time Systems Symposium , pp. 230-239
    • Gupta, G.I.1    Pontelli, E.2
  • 9
    • 4243532938 scopus 로고
    • Constraint logic programming: A survey
    • J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 19/20:503-581, 1994.
    • (1994) Journal of Logic Programming , vol.19-20 , pp. 503-581
    • Jaffar, J.1    Maher, M.J.2
  • 14
    • 85027604991 scopus 로고
    • A timed model for communicating sequential processes
    • L. Kott, editor, ICALP. Springer
    • G. M. Reed and A. W. Roscoe. A Timed Model for Communicating Sequential Processes. In L. Kott, editor, ICALP, volume 226 of Lecture Notes in Computer Science, pages 314-323. Springer, 1986.
    • (1986) Lecture Notes in Computer Science , vol.226 , pp. 314-323
    • Reed, G.M.1    Roscoe, A.W.2
  • 17
    • 33845242160 scopus 로고
    • An operational semantics for timed CSP
    • Report PMG-R63, Chalmers University of Technology and University of Göteborg
    • S. A. Schneider. An Operational Semantics for Timed CSP. In Proceedings Chalmers Workshop on Concurrency, 1991, pages 428-456. Report PMG-R63, Chalmers University of Technology and University of Göteborg, 1992.
    • (1992) Proceedings Chalmers Workshop on Concurrency, 1991 , pp. 428-456
    • Schneider, S.A.1
  • 18
    • 0035340968 scopus 로고    scopus 로고
    • Specification, refinement and verification of concurrent systems-an integration of object-Z and CSP
    • G. Smith and J. Derrick. Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods in System Design, 18(3):249-284, 2001.
    • (2001) Formal Methods in System Design , vol.18 , Issue.3 , pp. 249-284
    • Smith, G.1    Derrick, J.2


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