Strategic directions in concurrency research

Range 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; Scott A. Smolka; Bernhard Steffen; Bent Thomsen; Frits Vaandrager; Moshe Vardi; Pierre Wolper

doi:10.1145/242223.242252

Strategic directions in concurrency research

Range 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, Scott A. Smolka, Bernhard Steffen, Bent Thomsen, Frits Vaandrager, Moshe Vardi, Pierre Wolper

Computer Science

North Carolina State University
University of California at Berkeley
Eindhoven University of Technology
University of Amsterdam
University of Hildesheim
University of Florence
MITRE Corporation
University of Bologna
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
UMR5183
Stony Brook University
University of Passau
ICL
Radboud University Nijmegen
Rice University
University of Liege

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

40 Scopus citations

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
State	Published - Dec 1996

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{3e8e8e31eebd468c96a6919ad570dcc0,

title = "Strategic directions in concurrency research",

author = "Range 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 Smolka, \{Scott A.\} and Bernhard Steffen and Bent Thomsen and Frits Vaandrager and Moshe Vardi and Pierre Wolper",

year = "1996",

month = dec,

doi = "10.1145/242223.242252",

language = "English",

volume = "28",

pages = "607--625",

journal = "ACM Computing Surveys",

issn = "0360-0300",

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

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 - Smolka, Scott A.

AU - Steffen, Bernhard

AU - Thomsen, Bent

AU - Vaandrager, Frits

AU - Vardi, Moshe

AU - Wolper, Pierre

PY - 1996/12

Y1 - 1996/12

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

Fingerprint

Cite this