communicating sequential processes

communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language, and also influenced the design of programming languages such as Limbo and Go.

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

ลำดับกระบวนการสื่อสาร (CSP) เป็นภาษาเป็นทางในรูปแบบของการโต้ตอบในเวลาเดียวกัน เป็นสมาชิกของตระกูลเกิดที่เรียกว่ากระบวนการ algebras หรือกระบวนการ calculi ตามข้อความที่ส่งผ่านช่องทางคณิตศาสตร์ทฤษฎี CSP มีอิทธิพลสูงในการออกแบบภาษาอ็อกคัม และยัง มีอิทธิพลต่อการออกแบบของการเขียนโปรแกรมภาษาเช่นบ้านและไป

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

กระบวนการสื่อสารตามลำดับ (CSP) เป็นภาษาอย่างเป็นทางการสำหรับการอธิบายรูปแบบของการมีปฏิสัมพันธ์ในระบบพร้อมกัน มันเป็นสมาชิกของครอบครัวของทฤษฎีทางคณิตศาสตร์ของการทำงานพร้อมกันที่เรียกว่าจีบกระบวนการหรือนิ่วกระบวนการขึ้นอยู่กับการส่งผ่านข้อความผ่านช่องทาง ซีเอสพีเป็นผู้มีอิทธิพลอย่างมากในการออกแบบการเขียนโปรแกรมภาษาสาธารณรัฐโคลัมเบียและยังได้รับอิทธิพลการออกแบบการเขียนโปรแกรมภาษาเช่นลืมและไป

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

กระบวนการสื่อสารแบบลำดับ ( CSP ) เป็นภาษาสำหรับอธิบายรูปแบบของการปฏิสัมพันธ์ในระบบพร้อมกัน มันเป็นสมาชิกของครอบครัวของทฤษฎีทางคณิตศาสตร์ของการเรียกว่าพีชคณิตกระบวนการหรือกระบวนการนิ่ว ตามข้อความผ่านทางช่อง CSP มีอิทธิพลอย่างมากในการออกแบบของเอิกแคมการเขียนโปรแกรมภาษาและยังได้รับอิทธิพลการออกแบบของการเขียนโปรแกรมภาษาเช่น Limbo และไป