배역 기반 액터 모델의 완전 추상 게임 의미론

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

본 논문은 비동기 π-계산의 게임 의미론과 액터 이론(Aπ)을 결합하여, 액터 모델에 대한 완전 추상 의미론을 구축한다. 타입 규칙을 통합하고, 트레이스 연산자를 정의함으로써 “P ≲ Q ⇔

이 연구는 두 기존 작업, 즉 Aπ이라는 액터 전용 타입 시스템