International Conference on Concurrency Theory information
This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "International Conference on Concurrency Theory" – news · newspapers · books · scholar · JSTOR(March 2019) (Learn how and when to remove this message)
International Conference on Concurrency Theory
Abbreviation
CONCUR
Discipline
concurrency
Publication details
Publisher
LIPICS, Lecture Notes in Computer Science
History
1984-present
Frequency
Annually
The International Conference on Concurrency Theory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency and its applications. It is the flagship conference for concurrency theory according to the International Federation for Information Processing Working Group on Concurrency Theory (WP 1.8).[1] The conference is organised annually since 1988. Since 2015, papers presented at CONCUR are published in the LIPIcs–Leibniz International Proceedings in Informatics, a "series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl –Leibniz Center for Informatics".[2][3] Before, CONCUR papers were published in the series Lecture Notes in Computer Science.[4]
According to CORE Ranking, CONCUR has rank A ("excellent conference, and highly respected in a discipline area").[5]
According to Google Scholar Metrics (as of 1. April 2023), CONCUR has H5-index 17 and H5-median 22.[6]
^"Conferences - IFIP WG 1.8 (Concurrency Theory)". concurrency-theory.org. Retrieved 2019-02-08.
The InternationalConferenceonConcurrencyTheory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency...
(ICALP), the International Symposium on Mathematical Foundations of Computer Science (MFCS), the InternationalConferenceonConcurrencyTheory (CONCUR),...
of concurrency control provides rules, methods, design methodologies, and theories to maintain the consistency of components operating concurrently while...
annually since 1989 CONCUR — InternationalConferenceonConcurrencyTheory proceedings published in the LIPIcs–Leibniz International Proceedings in Informatics...
a German computer scientist, best known for his contributions to concurrencytheory. Eike Best was born in Neustadt an der Weinstraße. During his childhood...
simulate the concurrent execution of several programs on one processor. Having concurrency with shared memory gave rise to the problem of concurrency control...
expressive power of queries, finite model theory, database design theory, dependency theory, foundations of concurrency control and database recovery, deductive...
CONCUR - International Conference on ConcurrencyTheory CRYPTO – International Cryptology Conference CVPR – Conferenceon Computer Vision and Pattern Recognition...
Alternating Refinement Relations. In Proceedings of the Ninth InternationalConferenceonConcurrencyTheory (CONCUR), LNCS 1466, Springer, 1998. Wolfgang Grieskamp...
language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and...
Pattern-Matching in Join-Patterns". Proceedings of the 15th InternationalConferenceonConcurrencyTheory. LNCS. 3170. Springer-Verlag. Ma, Qin; Maranget, Luc...
Through the Fine-Grained Lens". 32nd InternationalConferenceonConcurrencyTheory (CONCUR 2021). Leibniz International Proceedings in Informatics (LIPIcs)...
DLT, the InternationalConferenceon Developments in Language Theory is an academic conference in the field of computer science held annually under the...
concurrency could be applied to the media described in Daft and Lengel's original theories, new media provide a greater opportunity for concurrency than...
the concurrency anomalies that serializability avoids (but not all). In practice snapshot isolation is implemented within multiversion concurrency control...
modern programming languages that use capabilities like concurrency and exceptions, e.g., Concurrent ML, CSP, and Haskell. The semantics of these languages...
in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message...
published work argued that mathematical models of concurrency did not determine particular concurrent computations as follows: The Actor model makes use...
CIAA, the InternationalConferenceon Implementation and Application of Automata is an annual academic conference in the field of computer science. Its...
Trace Theory". In Diekert, V.; Rozenberg, G. (eds.). The Book of Traces. World Scientific. pp. 3–67. Winskel, G.; Nielsen, M. "Models for Concurrency" (PDF)...
problems that appear in Algebraic structures Automata Theory and Formal languages Concurrency and Distributed computations Decision Procedures in Computational...
(1996). "Retracing some paths in process algebra". InternationalConferenceonConcurrencyTheory. Springer: 1–17. Fong, Brendan; Spivak, David I.; Tuyéras...