International Conference on Concurrency Theory

CONCUR

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation · Distributed Computing and Systems Software

Papers indexed

1,512

1984–2026

Papers per year

198451 peak2026

Most published authors

CONCUR papers

1,512 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
1984	Linguistic Support of Receptionists for Shared Resources.	Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi
1984	Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety.	William G. Golson
1984	A Fully Abstract Model of Fair Asynchrony.	Philippe Darondeau
1984	Alternative Semantics for McCarthy's amb.	William D. Clinger, Charles Halpern
1984	An Implementation Model of Rendezvous Communication.	Luca Cardelli
1984	An Improved Failures Model for Communicating Processes.	Stephen D. Brookes, A. W. Roscoe
1984	On the Axiomatic Treatment of Concurrency.	Stephen D. Brookes
1984	Concurrent Behaviour: Sequences, Processes and Axioms.	Eike Best
1984	The ESTEREL Synchronous Programming Language and its Mathematical Semantics.	Grard Berry, Laurent Cosserat
1984	Process Algebra with Asynchronous Communication Mechanisms.	Jan A. Bergstra, Jan Willem Klop, John V. Tucker
1984	Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.	Howard Barringer, Ruurd Kuiper
1984	Semantic Considerations in the Actor Paradigm of Concurrent Computation.	Gul Agha

1,501–1,512 of 1,512← Previous Next →

Other A*/A conferences filed under the same field of research.