logo
Process algebras

Kết quả hội nghị (3)

International Conference on Reversible Computation (RC)

Rank: COffline
Odense, Denmark
Jul 3, 2025 - Jul 4, 2025
Reversible Computationlow power designcoding/decoding+14 thêm

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
toolsand empirical evaluations of architecturesexecution environments+63 thêm

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 thêm