Strategic directions in concurrency research

Rance Cleaveland; Scott A. Smolka; Rajeev Alur; Jos Baeten; Jan A. Bergstra; Eike Best; Rocco De Nicola; Helen Gill; Roberto Gorrieri; Mohamed G. Gouda; Jan Friso Groote; Tom A. Henzinger; C. A.R. Hoare; David Luginbuhl; Albert Meyer; Dale Miller; Jayadev Misra; Faron Moller; Ugo Montanari; Amir Pnueli; Sanjiva Prasad; Vaughan R. Pratt; Joseph Sifakis; Scott A. Smolka; Bernhard Steffen; Bent Thomsen; Frits Vaandrager; Moshe Vardi; Pierre Wolper

doi:10.1145/242223.242252

Strategic directions in concurrency research

Rance Cleaveland (Corresponding author)
, Scott A. Smolka (Corresponding author)
, Rajeev Alur
, Jos Baeten
, Jan A. Bergstra
, Eike Best
, Rocco De Nicola
, Helen Gill
, Roberto Gorrieri
, Mohamed G. Gouda
, Jan Friso Groote
, Tom A. Henzinger
, C. A.R. Hoare
, David Luginbuhl
, Albert Meyer
, Dale Miller
, Jayadev Misra
, Faron Moller
, Ugo Montanari
, Amir Pnueli

Sanjiva Prasad, Vaughan R. Pratt, Joseph Sifakis, Scott A. Smolka, Bernhard Steffen, Bent Thomsen, Frits Vaandrager, Moshe Vardi, Pierre Wolper

Research output: Contribution to journal › Article › Academic › peer-review

40 Citations (Scopus)

Original language	English
Pages (from-to)	607-625
Number of pages	19
Journal	ACM Computing Surveys
Volume	28
Issue number	4
DOIs	https://doi.org/10.1145/242223.242252
Publication status	Published - 1 Jan 1996

Access to Document

10.1145/242223.242252

Cite this

Cleaveland, R., Smolka, S. A., Alur, R., Baeten, J., Bergstra, J. A., Best, E., De Nicola, R., Gill, H., Gorrieri, R., Gouda, M. G., Groote, J. F., Henzinger, T. A., Hoare, C. A. R., Luginbuhl, D., Meyer, A., Miller, D., Misra, J., Moller, F., Montanari, U., ... Wolper, P. (1996). Strategic directions in concurrency research. ACM Computing Surveys, 28(4), 607-625. https://doi.org/10.1145/242223.242252

@article{eb62b62bb4634be1817cc92d26580e9f,

title = "Strategic directions in concurrency research",

author = "Rance Cleaveland and Smolka, \{Scott A.\} and Rajeev Alur and Jos Baeten and Bergstra, \{Jan A.\} and Eike Best and \{De Nicola\}, Rocco and Helen Gill and Roberto Gorrieri and Gouda, \{Mohamed G.\} and Groote, \{Jan Friso\} and Henzinger, \{Tom A.\} and Hoare, \{C. A.R.\} and David Luginbuhl and Albert Meyer and Dale Miller and Jayadev Misra and Faron Moller and Ugo Montanari and Amir Pnueli and Sanjiva Prasad and Pratt, \{Vaughan R.\} and Joseph Sifakis and Smolka, \{Scott A.\} and Bernhard Steffen and Bent Thomsen and Frits Vaandrager and Moshe Vardi and Pierre Wolper",

year = "1996",

month = jan,

day = "1",

doi = "10.1145/242223.242252",

language = "English",

volume = "28",

pages = "607--625",

journal = "ACM Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery, Inc.",

number = "4",

}

Cleaveland, R, Smolka, SA, Alur, R, Baeten, J, Bergstra, JA, Best, E, De Nicola, R, Gill, H, Gorrieri, R, Gouda, MG, Groote, JF, Henzinger, TA, Hoare, CAR, Luginbuhl, D, Meyer, A, Miller, D, Misra, J, Moller, F, Montanari, U, Pnueli, A, Prasad, S, Pratt, VR, Sifakis, J, Smolka, SA, Steffen, B, Thomsen, B, Vaandrager, F, Vardi, M & Wolper, P 1996, 'Strategic directions in concurrency research', ACM Computing Surveys, vol. 28, no. 4, pp. 607-625. https://doi.org/10.1145/242223.242252

TY - JOUR

T1 - Strategic directions in concurrency research

AU - Cleaveland, Rance

AU - Smolka, Scott A.

AU - Alur, Rajeev

AU - Baeten, Jos

AU - Bergstra, Jan A.

AU - Best, Eike

AU - De Nicola, Rocco

AU - Gill, Helen

AU - Gorrieri, Roberto

AU - Gouda, Mohamed G.

AU - Groote, Jan Friso

AU - Henzinger, Tom A.

AU - Hoare, C. A.R.

AU - Luginbuhl, David

AU - Meyer, Albert

AU - Miller, Dale

AU - Misra, Jayadev

AU - Moller, Faron

AU - Montanari, Ugo

AU - Pnueli, Amir

AU - Prasad, Sanjiva

AU - Pratt, Vaughan R.

AU - Sifakis, Joseph

AU - Smolka, Scott A.

AU - Steffen, Bernhard

AU - Thomsen, Bent

AU - Vaandrager, Frits

AU - Vardi, Moshe

AU - Wolper, Pierre

PY - 1996/1/1

Y1 - 1996/1/1

UR - https://www.scopus.com/pages/publications/0000078696

U2 - 10.1145/242223.242252

DO - 10.1145/242223.242252

M3 - Article

AN - SCOPUS:0000078696

SN - 0360-0300

VL - 28

SP - 607

EP - 625

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 4

ER -

Strategic directions in concurrency research

Access to Document

Other files and links

Cite this