메뉴 건너뛰기




Volumn 1906, Issue , 2000, Pages 335-340

On the verification of coordination

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84979279933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45263-x_25     Document Type: Conference Paper
Times cited : (10)

References (11)
  • 2
    • 85002213636 scopus 로고    scopus 로고
    • A Software Architecture for Distributed Control Systems and its Transition System Semantics
    • J. Carroll, G. Lamont, D. Oppenheim, K. George, and B. Bryant, editors, ACM press, Feb
    • M. M. Bonsangue, J. N. Kok, M. Boasson, and E. de Jong. A Software Architecture for Distributed Control Systems and its Transition System Semantics. In J. Carroll, G. Lamont, D. Oppenheim, K. George, and B. Bryant, editors, Proceedings of the 1998 ACM Symposium on Applied Computing (SAC’98), pages 159-168. ACM press, Feb. 1998.
    • (1998) Proceedings of the 1998 ACM Symposium on Applied Computing (SAC’98) , pp. 159-168
    • Bonsangue, M.M.1    Kok, J.N.2    Boasson, M.3    De Jong, E.4
  • 3
    • 0000488718 scopus 로고    scopus 로고
    • Comparing software architectures for coordination languages
    • P. Ciancarini and A. L. Wolf, editors, of Lecture Notes in Computer Science, Springer Verlag
    • M. M. Bonsangue, J. N. Kok, and G. Zavattaro. Comparing software architectures for coordination languages. In P. Ciancarini and A. L. Wolf, editors, Proceedings of Coordination’99, volume 1594 of Lecture Notes in Computer Science, pages 150-165. Springer Verlag, 1999.
    • (1999) Proceedings of Coordination’99 , vol.1594 , pp. 150-165
    • Bonsangue, M.M.1    Kok, J.N.2    Zavattaro, G.3
  • 6
    • 84957379824 scopus 로고    scopus 로고
    • Cadp (Cæsar/Aldébaran development package): A protocol validation and verification toolbox
    • R. Alur and T. A. Henzinger, editors, of Lecture Notes in Computer Science, Springer Verlag, Aug
    • J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. Cadp (Cæsar/Aldébaran development package): A protocol validation and verification toolbox. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 437-440. Springer Verlag, Aug. 1996.
    • (1996) Proceedings of the 8Th Conference on Computer-Aided Verification , vol.1102 , pp. 437-440
    • Fernandez, J.-C.1    Garavel, H.2    Kerbrat, A.3    Mateescu, R.4    Mounier, L.5    Sighireanu, M.6


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