메뉴 건너뛰기




Volumn 8, Issue 5, 1996, Pages 607-616

Compositional minimisation of finite state systems using interface specifications

Author keywords

Bisimulation; Distributed system; Interface specification; Minimisation; State explosion problem

Indexed keywords


EID: 0009617613     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01211911     Document Type: Article
Times cited : (97)

References (21)
  • 8
    • 0009617613 scopus 로고    scopus 로고
    • Compositional Minimisation of Finite State Systems Using Interface Specifications
    • Graf, S., Steffen, B. and Lüttgen, G.: Compositional Minimisation of Finite State Systems Using Interface Specifications, Formal Aspects of Computing 8(E):xxx-xxx.
    • Formal Aspects of Computing , vol.8 , Issue.E
    • Graf, S.1    Steffen, B.2    Lüttgen, G.3
  • 17
    • 3042966969 scopus 로고    scopus 로고
    • Heterogeneous analysis and verification for distributed systems
    • Steffen, B., Margaria, T. and Claßen, A.: Heterogeneous analysis and verification for distributed systems. Software - Concepts and Tools, 17:13-25, 1996.
    • (1996) Software - Concepts and Tools , vol.17 , pp. 13-25
    • Steffen, B.1    Margaria, T.2    Claßen, A.3


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