Strategic directions in concurrency research

被引:25
|
作者
Cleaveland, R [1 ]
Smolka, SA [1 ]
Alur, R [1 ]
Baeten, J [1 ]
Bergstra, JA [1 ]
Best, E [1 ]
DeNicola, R [1 ]
Gill, H [1 ]
Gorrieri, R [1 ]
Gouda, MG [1 ]
Groote, JF [1 ]
Henzinger, TA [1 ]
Hoare, CAR [1 ]
Luginbuhl, D [1 ]
Meyer, A [1 ]
Miller, D [1 ]
Misra, J [1 ]
Moller, F [1 ]
Montanari, U [1 ]
Pnueli, A [1 ]
Prasad, S [1 ]
Pratt, VR [1 ]
Sifakis, J [1 ]
SmolkaChair, SA [1 ]
Steffen, B [1 ]
Thomsen, B [1 ]
Vaandrager, F [1 ]
Vardi, M [1 ]
Wolper, P [1 ]
机构
[1] SUNY STONY BROOK, DEPT COMP SCI, STONY BROOK, NY 11794 USA
关键词
D O I
10.1145/242223.242252
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
[No abstract available]
引用
收藏
页码:607 / 625
页数:19
相关论文
共 50 条
  • [1] APPLYING CONCURRENCY RESEARCH IN INDUSTRY REPORT ON A STRATEGIC WORKSHOP
    Aceto, Luca
    Baeten, Jos
    Fokkink, Wan
    Ingolfsdottir, Anna
    Nestmann, Uwe
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2008, (94): : 113 - 129
  • [2] Strategic directions in research on programming languages
    Hankin, C
    Nielson, HR
    Palsberg, J
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (04) : 644 - 652
  • [3] Strategic Directions for Communicating Nursing Research
    Henly, Susan J.
    [J]. NURSING RESEARCH, 2013, 62 (01) : 1 - 1
  • [4] Strategic directions in computer security research
    Lunt, TF
    [J]. DATABASE SECURITY VOLUME X - STATUS AND PROSPECTS, 1997, : 3 - 10
  • [5] Strategic Rhythms: Insights and Research Directions
    Zhang, Pengxiang
    Priem, Richard
    Wang, Donghan
    Li, Sali
    [J]. JOURNAL OF MANAGEMENT, 2023, 49 (06) : 1939 - 1964
  • [6] Editorial: Strategic directions in computing research
    Wegner, P
    Doyle, J
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (04) : 565 - 574
  • [7] Strategic directions in research in theory of computing
    Loui, MC
    Condon, A
    Fich, F
    Frederickson, GN
    Goldberg, AV
    Johnson, DS
    Mahaney, S
    Raghavan, P
    Savage, J
    Selman, AL
    Shmoys, DB
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (04) : 575 - 590
  • [8] Strategic directions for nursing research in tobacco dependence
    Sarna, Linda
    Bialous, Stella Aguinaga
    [J]. NURSING RESEARCH, 2006, 55 (04) : S1 - S9
  • [9] Strategic directions in verification, validation, and accreditation research
    Sargent, RG
    Glasow, PA
    Kleijnen, JPC
    Law, AM
    McGregor, I
    Youngblood, S
    [J]. PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 909 - 916
  • [10] Research in Musculoskeletal Radiology: Setting Goals and Strategic Directions
    Klontzas, Michail E.
    Karantanas, Apostolos H.
    [J]. SEMINARS IN MUSCULOSKELETAL RADIOLOGY, 2022, 26 (03) : 354 - 358