Nhan đề chính: Foundations of Software Science and Computation Structures

Nhan đề dịch: Nền tảng của Khoa học phần mềm và Cấu trúc tính toán

Tác giả: Naoki Kobayashi, James Worrell

Nhà xuất bản: Springer Cham

Năm xuất bản: 2024

Số trang: 296 tr.

Ngôn ngữ: Tiếng Anh 

ISBN: 978-3-031-57228-9

SpringerLink

Lời giới thiệu: Hai tập sách truy cập mở LNCS 14574 và 14575 cấu thành biên bản của Hội nghị quốc tế lần thứ 27 về Nền tảng của Khoa học phần mềm và Cấu trúc tính toán, FOSSACS 2024, diễn ra tại Luxembourg vào tháng 4 năm 2024. 

24 bài báo đầy đủ có trong cuốn sách này đã được xem xét cẩn thận và chọn lọc từ 79 bài nộp. Chúng được sắp xếp theo các phần chuyên đề như sau: 

Phần I: Trò chơi vô hạn; ngữ nghĩa phạm trù; máy tự động và tổng hợp; 

Phần II: Các loại và ngôn ngữ lập trình; logic và chứng minh; hệ thống trạng thái vô hạn. 

Từ khóa: Phân tích chương trình; Mô hình; Phân loại và logic; Lý thuyết ngôn ngữ.

Nội dung cuốn sách gồm những phần sau:

* Bài nói chuyện được mời

Sự hoàn thiện của bộ tách Ackermannian

* Trò chơi vô hạn

Hội chợ - Trò chơi thường xuyên

Trò chơi trả thưởng trung bình của cửa sổ ngẫu nhiên

Giải pháp tượng trưng của trò chơi Emerson-Lei cho tổng hợp phản ứng

Trò chơi chẵn lẻ trên đồ thị thời gian

* Ngữ nghĩa phạm trù

Làm phong phú sơ đồ với các phép toán đại số

Đá nhị nguyên mở rộng dạng đơn

Hướng tới một khuôn khổ hợp thành cho phân tích lồi (với các ứng dụng cho lý thuyết xác suất)

* Automata và Tổng hợp

Xác định Automata tổng chiết khấu tích phân có thể quyết định được

Kiểm tra lịch sử - quyết định là NP-khó đối với Automata chẵn lẻ

Cấu trúc chặt chẽ hơn của Tight Büchi Automata

Tổng hợp với quyền riêng tư chống lại người quan sát