scispace - formally typeset
Search or ask a question
Topic

Concurrency

About: Concurrency is a research topic. Over the lifetime, 13042 publications have been published within this topic receiving 347118 citations.


Papers
More filters
Journal ArticleDOI
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Abstract: This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of a familiar programming exercises.

11,419 citations

Book
01 Jan 1989
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
Abstract: Foreword. 1. Modelling Communication. 2. Basic Definitions. 3. Equational laws and Their Application. 4. Strong Bisimulation and Strong Equivalence. 5. Bisimulation and Observation Equivalence. 6. Further Examples. 7. The Theory of Observation Congruence. 8. Defining a Programming Language. 9. Operators and Calculi. 10. Specifications and Logic. 11. Determinancy and Confluence. 12. Sources and Related Work. Bibliography. Index.

8,625 citations

Book ChapterDOI
14 Jul 1980

4,755 citations

Book
01 Jan 1981

3,509 citations


Network Information
Related Topics (5)
Compiler
26.3K papers, 578.5K citations
91% related
Data structure
28.1K papers, 608.6K citations
91% related
Distributed algorithm
20.4K papers, 548.1K citations
87% related
Graph (abstract data type)
69.9K papers, 1.2M citations
87% related
Scalability
50.9K papers, 931.6K citations
87% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
2023172
2022381
2021311
2020317
2019458
2018420