What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Theoretical Computer Science

A conference, workshop or journal: the thing that recurs, across all its years.

Elsevier's broad theory journal, split into sections covering algorithms and complexity, logic and semantics, and formal languages. Large, long-running, and where a conference paper in theory is often expanded into its definitive form.

https://www.sciencedirect.com/journal/theoretical-computer-science

On the performance of a retransmission-based synchronizer

Contract-based discovery of Web services modulo simple orchestrators

The rewriting logic semantics project

Model checking restricted sets of timed paths

Possible worlds and resources: the semantics of BI

Axioms for real-time logics

Universal computation and other capabilities of hybrid and continuous dynamical systems

Finite-memory automata

The existence of refinement mappings

A syntactic theory of sequential state

The linear abstract machine

Testing equivalences for processes

Calculi for synchrony and asynchrony

Floyd's principle, correctness theories and program equivalence

Petri nets, event structures and domains, part I

The temporal semantics of concurrent programs

Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic

Recursive assertions are not enough - or are they?

Call-by-name, call-by-value and the λ-calculus