메뉴 건너뛰기




Volumn 1664 LNCS, Issue , 1999, Pages 130-145

Synthesis of large concurrent programs via pairwise composition

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EID: 84888223660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_11     Document Type: Conference Paper
Times cited : (14)

References (16)
  • 3
    • 0029707467 scopus 로고    scopus 로고
    • Synthesis of concurrent systems for an atomic read/atomic write model of computation (extended abstract)
    • May
    • P. C. Attie and E. A. Emerson. Synthesis of concurrent systems for an atomic read/atomic write model of computation (extended abstract). In Proc. 15'th ACM Symposium on Principles of Distributed Computing, pages 111-120, May 1996.
    • (1996) Proc. 15'th ACM Symposium on Principles of Distributed Computing , pp. 111-120
    • Attie, P.C.1    Emerson, E.A.2
  • 4
    • 0031598901 scopus 로고    scopus 로고
    • Synthesis of concurrent systems with many similar processes
    • January
    • P. C. Attie and E. A. Emerson. Synthesis of concurrent systems with many similar processes. ACM Trans. Program. Lang. Syst., 20(1):51-115, January 1998.
    • (1998) ACM Trans. Program. Lang. Syst. , vol.20 , Issue.1 , pp. 51-115
    • Attie, P.C.1    Emerson, E.A.2
  • 5
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • April
    • E. M. Clarke, E. A. Emerson, and P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244-263, April 1986.
    • (1986) ACM Trans. Program. Lang. Syst. , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, P.3
  • 9
    • 85030768560 scopus 로고
    • Synthesizing processes and schedulers from temporal specifications
    • Springer-Verlag
    • D.L. Dill and H. Wong-Toi. Synthesizing processes and schedulers from temporal specifications. In 2'nd Intl.CAV Conference, LNCS vol. 531. Springer-Verlag, 1990.
    • (1990) 2'nd Intl.CAV Conference, LNCS , vol.531
    • Dill, D.L.1    Wong-Toi, H.2
  • 10
    • 0001449325 scopus 로고
    • Temporal and modal logic
    • The MIT Press/Elsevier, Cambridge, Mass
    • E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, volume B. The MIT Press/Elsevier, Cambridge, Mass., 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B
    • Emerson, E.A.1
  • 11
    • 0020226119 scopus 로고
    • Using branching time temporal logic to synthesize synchronization skeletons
    • E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program., 2:241-266, 1982.
    • (1982) Sci. Comput. Program , vol.2 , pp. 241-266
    • Emerson, E.A.1    Clarke, E.M.2
  • 12
    • 0023362541 scopus 로고
    • Modalities for model checking: Branching time logic strikes back
    • E. A. Emerson and C. Lei. Modalities for model checking: Branching time logic strikes back. Sci. Comput. Program., 8:275-306, 1987.
    • (1987) Sci. Comput. Program. , vol.8 , pp. 275-306
    • Emerson, E.A.1    Lei, C.2
  • 13
    • 0028427381 scopus 로고
    • Model checking and modular verification
    • May
    • O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst., 16(3):843-871, May 1994.
    • (1994) ACM Trans. Program. Lang. Syst. , vol.16 , Issue.3 , pp. 843-871
    • Grumberg, O.1    Long, D.E.2
  • 14
    • 84976828744 scopus 로고
    • Synthesis of communicating processes from temporal logic specifications
    • January
    • Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst., 6(1):68-93, January 1984.
    • (1984) ACM Trans. Program. Lang. Syst. , vol.6 , Issue.1 , pp. 68-93
    • Manna, Z.1    Wolper, P.2
  • 16
    • 0003015907 scopus 로고
    • On the synthesis of asynchronous reactive modules
    • Berlin. Springer-Verlag
    • A. Pnueli and R. Rosner. On the synthesis of asynchronous reactive modules. In Proc. 16th ICALP, volume 372 of LNCS, Berlin, 1989. Springer-Verlag.
    • (1989) Proc. 16th ICALP Volume 372 of LNCS
    • Pnueli, A.1    Rosner, R.2


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