The syntax is coupled with a formal

The syntax is coupled with a formal semantics to permit reasoning about protocols. We briefly describe the syntax of the applied pi-calculus that is used in this paper[9].

ผลลัพธ์ (ไทย) 1:

ไวยากรณ์เป็นควบคู่กับความหมายอย่างเป็นทางการให้เหตุผลเกี่ยวกับโพรโทคอล เราสั้น ๆ อธิบายถึงไวยากรณ์ของการใช้ปี่แคลคูลัสที่ใช้ในเอกสารนี้ [9]

ผลลัพธ์ (ไทย) 2:

ไวยากรณ์เป็นคู่กับความหมายอย่างเป็นทางการจะอนุญาตให้เหตุผลเกี่ยวกับโปรโตคอล เราอธิบายไวยากรณ์ของปี่แคลคูลัสประยุกต์ที่ใช้ในการวิจัยนี้ [9]

ผลลัพธ์ (ไทย) 3:

ไวยากรณ์เป็นคู่กับอรรถศาสตร์ให้เหตุผลเกี่ยวกับโปรโตคอล เราอธิบายไวยากรณ์ของไพแคลคูลัสประยุกต์ที่ใช้ในกระดาษนี้ [ 9 ]