Strategic directions in concurrency research

Rance Cleaveland; Scott A. Smolka; Rajeev Alur; Jos Baeten; Jan A. Bergstra; Eike Best; Rance Cleaveland; 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; Bernhard Steffen; Bent Thomsen; Frits Vaandrager; Moshe Vardi; Pierre Wolper

doi:10.1145/242223.242252

Strategic directions in concurrency research

Rance Cleaveland
, Scott A. Smolka
, Rajeev Alur
, Jos Baeten
, Jan A. Bergstra
, Eike Best
, Rance Cleaveland
, 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, Bernhard Steffen, Bent Thomsen, Frits Vaandrager, Moshe Vardi, Pierre Wolper

North Carolina State University
Stony Brook University
Stony Brook University
University of California, Berkeley
Technical University of Eindhoven
University of Amsterdam
University of Hildesheim
North Carolina State University
University of Florence
Mitre Corp.
University of Bologna
The University of Texas at Austin
CWI
University of Oxford
AFOSR
MIT
University of Pennsylvania
Uppsala University
University of Pisa
Weizmann University
Indian Institute of Technology Delhi
Stanford University
Verimag
University of Passau
ICL
Radboud University
Rice University
University of Liège

Research output: Contribution to journal › Article › 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 Dec 1996
Externally published	Yes

Access to Document

10.1145/242223.242252

Cite this

Cleaveland, R., Smolka, S. A., Alur, R., Baeten, J., Bergstra, J. A., Best, E., Cleaveland, R., 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., ... Wolper, P. (1996). Strategic directions in concurrency research. ACM Computing Surveys, 28(4), 607-625. https://doi.org/10.1145/242223.242252

@article{4c1ec8d3c71c4d33828d19d93ae8c402,

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 Rance Cleaveland 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 Bernhard Steffen and Bent Thomsen and Frits Vaandrager and Moshe Vardi and Pierre Wolper",

year = "1996",

month = dec,

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 ",

number = "4",

}

Cleaveland, R, Smolka, SA, Alur, R, Baeten, J, Bergstra, JA, Best, E, Cleaveland, R, 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, 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 - Cleaveland, Rance

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 - Steffen, Bernhard

AU - Thomsen, Bent

AU - Vaandrager, Frits

AU - Vardi, Moshe

AU - Wolper, Pierre

PY - 1996/12/1

Y1 - 1996/12/1

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 -