ACP foralgebra of communicating pro

ACP for
algebra of communicating processes, is a finite axiomatisation of its intended
models (which we call process algebras).

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

ACP สำหรับพีชคณิตการสื่อสารกระบวนการ คือ axiomatisation มีจำกัดของอนุสรณ์รุ่น (ซึ่งเราเรียกกระบวนการฉาก)

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

ACP สำหรับ
พีชคณิตของกระบวนการสื่อสารเป็น axiomatisation จำกัด ตั้งใจ
รุ่น (ซึ่งเราเรียกว่าจีบกระบวนการ)

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

ACP สำหรับพีชคณิตของกระบวนการสื่อสารเป็น axiomatisation จำกัดของวัตถุประสงค์แบบจำลอง ( ซึ่งเราเรียกกระบวนการพีชคณิต )