런타임과 바이트코드 엔지니어링부터 여러 참여 머신 간의 조율과 상태 관리까지, 실행 계층을 다룹니다. 각 협업은 시스템 제약과 구현 또는 분석이 필요한 구체적인 동작에서 시작합니다.