scispace - formally typeset
Topic

Concurrency

About: Concurrency is a(n) research topic. Over the lifetime, 13042 publication(s) have been published within this topic receiving 347118 citation(s).
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,284 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,544 citations


Book ChapterDOI
14 Jul 1980-

4,735 citations


Book
01 Jan 1981-

3,504 citations



Network Information
Related Topics (5)
Model checking

16.9K papers, 451.6K citations

95% related
Functional programming

5.8K papers, 139.1K citations

95% related
Process calculus

3.8K papers, 115.2K citations

94% related
Formal methods

14.9K papers, 262.1K citations

94% related
Specification language

9.1K papers, 210.4K citations

94% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20226
2021306
2020317
2019457
2018420
2017423

Top Attributes

Show by:

Topic's top 5 most impactful authors

Maciej Koutny

51 papers, 1K citations

Ugo Montanari

47 papers, 2.1K citations

Suresh Jagannathan

27 papers, 932 citations

Glynn Winskel

26 papers, 1.9K citations

Shaz Qadeer

25 papers, 3K citations