The concurrency factory: A development environment for concurrent systems

Rance Cleaveland; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky

doi:10.1007/3-540-61474-5_88

The concurrency factory: A development environment for concurrent systems

Rance Cleaveland
, Philip M. Lewis
, Scott A. Smolka
, Oleg Sokolsky

Computer Science

North Carolina State University
Stony Brook University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

21 Scopus citations

Abstract

The Concurrency Factory supports the specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. While the system uses process algebra as its underlying design formalism, the primary focus of the project is practical utility: the tools should be usable by engineers who are not familiar with formal models of concurrency, and it should be capable of handling large-scale systems such as those found in the telecommunications industry. This paper serves as a status report for the Factory project and briefly describes a case-study involving the GNU UUCP i-protocol.

Original language	English
Title of host publication	Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings
Editors	Thomas A. Henzinger, Rajeev Alur
Publisher	Springer Verlag
Pages	398-401
Number of pages	4
ISBN (Print)	3540614745, 9783540614746
DOIs	https://doi.org/10.1007/3-540-61474-5_88
State	Published - 1996
Event	8th International Conference on Computer Aided Verification, CAV 1996 - New Brunswick, United States Duration: Jul 31 1996 → Aug 3 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1102
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Conference on Computer Aided Verification, CAV 1996
Country/Territory	United States
City	New Brunswick
Period	07/31/96 → 08/3/96

Access to Document

10.1007/3-540-61474-5_88

Cite this

Cleaveland, R., Lewis, P. M., Smolka, S. A., & Sokolsky, O. (1996). The concurrency factory: A development environment for concurrent systems. In T. A. Henzinger, & R. Alur (Eds.), Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings (pp. 398-401). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1102). Springer Verlag. https://doi.org/10.1007/3-540-61474-5_88

Cleaveland, Rance ; Lewis, Philip M. ; Smolka, Scott A. et al. / The concurrency factory : A development environment for concurrent systems. Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. editor / Thomas A. Henzinger ; Rajeev Alur. Springer Verlag, 1996. pp. 398-401 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5ca4fdb9be8841529e7d4fb363b928cc,

title = "The concurrency factory: A development environment for concurrent systems",

abstract = "The Concurrency Factory supports the specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. While the system uses process algebra as its underlying design formalism, the primary focus of the project is practical utility: the tools should be usable by engineers who are not familiar with formal models of concurrency, and it should be capable of handling large-scale systems such as those found in the telecommunications industry. This paper serves as a status report for the Factory project and briefly describes a case-study involving the GNU UUCP i-protocol.",

author = "Rance Cleaveland and Lewis, \{Philip M.\} and Smolka, \{Scott A.\} and Oleg Sokolsky",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 8th International Conference on Computer Aided Verification, CAV 1996 ; Conference date: 31-07-1996 Through 03-08-1996",

year = "1996",

doi = "10.1007/3-540-61474-5\_88",

language = "English",

isbn = "3540614745",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "398--401",

editor = "Henzinger, \{Thomas A.\} and Rajeev Alur",

booktitle = "Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings",

}

Cleaveland, R, Lewis, PM, Smolka, SA & Sokolsky, O 1996, The concurrency factory: A development environment for concurrent systems. in TA Henzinger & R Alur (eds), Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1102, Springer Verlag, pp. 398-401, 8th International Conference on Computer Aided Verification, CAV 1996, New Brunswick, United States, 07/31/96. https://doi.org/10.1007/3-540-61474-5_88

The concurrency factory: A development environment for concurrent systems. / Cleaveland, Rance; Lewis, Philip M.; Smolka, Scott A. et al.
Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. ed. / Thomas A. Henzinger; Rajeev Alur. Springer Verlag, 1996. p. 398-401 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1102).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The concurrency factory

T2 - 8th International Conference on Computer Aided Verification, CAV 1996

AU - Cleaveland, Rance

AU - Lewis, Philip M.

AU - Smolka, Scott A.

AU - Sokolsky, Oleg

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996

Y1 - 1996

N2 - The Concurrency Factory supports the specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. While the system uses process algebra as its underlying design formalism, the primary focus of the project is practical utility: the tools should be usable by engineers who are not familiar with formal models of concurrency, and it should be capable of handling large-scale systems such as those found in the telecommunications industry. This paper serves as a status report for the Factory project and briefly describes a case-study involving the GNU UUCP i-protocol.

AB - The Concurrency Factory supports the specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. While the system uses process algebra as its underlying design formalism, the primary focus of the project is practical utility: the tools should be usable by engineers who are not familiar with formal models of concurrency, and it should be capable of handling large-scale systems such as those found in the telecommunications industry. This paper serves as a status report for the Factory project and briefly describes a case-study involving the GNU UUCP i-protocol.

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

U2 - 10.1007/3-540-61474-5_88

DO - 10.1007/3-540-61474-5_88

M3 - Conference contribution

AN - SCOPUS:84957359038

SN - 3540614745

SN - 9783540614746

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 398

EP - 401

BT - Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings

A2 - Henzinger, Thomas A.

A2 - Alur, Rajeev

PB - Springer Verlag

Y2 - 31 July 1996 through 3 August 1996

ER -

Cleaveland R, Lewis PM, Smolka SA, Sokolsky O. The concurrency factory: A development environment for concurrent systems. In Henzinger TA, Alur R, editors, Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Springer Verlag. 1996. p. 398-401. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61474-5_88

The concurrency factory: A development environment for concurrent systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this