Computer Science
Active Session
5%
And-States
5%
Asynchronous Message
5%
Atomic Register
7%
Atomic Variable
9%
Automaton
18%
Axiomatization
15%
Boolean Variable
5%
Case Study
7%
coalgebra
11%
Communicating Process
6%
Communication Error
5%
Communication Protocol
6%
Computation Step
5%
Computational Step
9%
Computer Science
5%
Concurrency
100%
Concurrent Process
19%
Concurrent Program
13%
Concurrent System
13%
Consistency Property
5%
Constraint Programming
11%
Context-Free Grammars
7%
Correctness Proofs
7%
Critical Section
11%
Data Structure
5%
Data Type
7%
Deadlock
11%
Deadlock Freedom
24%
Denotational Semantics
5%
Deterministic Finite Automaton
9%
Distance Transform
5%
Distributed Systems
9%
Dynamic Process
7%
Equivalence Class
5%
fault-tolerance
9%
Filesystems
7%
First-Come-First-Served
20%
Formal Specification
6%
Formalization
7%
Free Implementation
11%
Functional Languages
5%
Garbage Collection
7%
Hierarchical File System
7%
Interface Standard
5%
Interpolation Property
11%
Its-Context
5%
lambda-calculus
11%
Liveness
11%
Logic Programming
9%
Logical Relation
13%
Machine Learning
8%
Medial Axis
7%
Memory Model
5%
Message Passing
38%
Mutual Exclusion
46%
Nondeterminacy
13%
Nondeterminism
7%
Observational Equivalence
9%
Operational Semantics
18%
Parallel Algorithms
9%
Parallel Composition
7%
Partial Function
7%
Performance Bottleneck
5%
Process Framework
7%
Process Model
8%
Process Network
10%
Programming Language
6%
Proof Obligation
7%
Proof System
11%
Refinement Relation
6%
Reliable Communication
7%
Security protocols
7%
Sequent Calculus
15%
Sequential Composition
5%
Sequential Implementation
7%
Shared Memories
13%
Shared Memory Multiprocessor
5%
Software Development
5%
Software Solution
5%
Software Systems
13%
Soundness
13%
Source Codes
9%
Spanning Tree Algorithm
7%
Specification Language
21%
State Space
7%
Strong Fairness
5%
Strong Normalization
5%
Structural Rule
9%
Structured Communication
16%
Subformula Property
5%
Sufficient Condition
5%
Temporal Logic
7%
Theorem Prover
46%
Time Complexity
11%
Tracking System
7%
Transition System
13%
Type Checking
5%
Type Systems
66%
Weakest Precondition
14%
Keyphrases
Admissible Path
5%
Asynchronous Communication
6%
Bakery Algorithm
7%
Calculus
21%
Choosability
6%
Compare-and-swap
7%
Concurrency
10%
Control Resource
5%
Curry-Howard Correspondence
5%
Data Objects
5%
Deadlock Freedom
7%
Exponential Lower Bounds
7%
First Come First Served
9%
Global Types
6%
Hierarchical Storage System
7%
Interpolation Property
5%
Interpolation Theorem
5%
Intersection Types
5%
Intuitionistic Propositional Logic
5%
Lamport
7%
Linear Logic
11%
Linear Temporal Logic
7%
Linearization
7%
Multiparty Sessions
5%
Mutual Exclusion
7%
Mutual Exclusion Protocol
11%
Non-deterministic
5%
Non-Deterministic Functions
7%
Nondeterminism
12%
Partial Functions
7%
Permission System
5%
Process Language
7%
Proof Assistants
7%
Queue-based
7%
Reliable Communication
5%
Resource Calculus
5%
Session Types
22%
Session-based
7%
Shared Variables
5%
Standard Interface
5%
Time Complexity
5%
Type Systems
12%
Typestate Analysis
7%
Wait-free
7%
Mathematics
Atomicity
15%
Boolean Variable
7%
Bounded Number
7%
Calculus
36%
Choosability
11%
Coincides
5%
Completeness Proof
5%
Counterexample
7%
Dynamic Logic
9%
Epistemic Logic
10%
Euclidean Distance
5%
Integer
9%
Interpolation Property
9%
Lattices
5%
Lie Algebra
7%
Linear Time
19%
Main Result
9%
Mathematics
9%
Medial Axis
7%
Necessary and Sufficient Condition
7%
Nilpotent
5%
Nondeterminism
7%
Open Problem
5%
Partial Function
7%
Probability Theory
5%
Proof Of Correctness
7%
Semigroup
7%
Upper Bound
6%
Worst Case
7%