พิธีการในการเขียนโปรแกรมพร้อมกันและ / หรือกระจาย?

พื้นหลังของฉันมาจากภาษาที่จำเป็นส่วนใหญ่เป็น C, C ++ และ Python ฉันเลือกสคาลาเออร์แลงและแฮสเค็ลสักสองสามปีต่อมาและตั้งแต่นั้นมาก็เริ่มให้ความสนใจในการเขียนโปรแกรมเชิงฟังก์ชั่นและพิธีการทางด้านหลัง

ฉันยังสนใจในการเขียนโปรแกรมพร้อมกันและกระจายและได้รับการดูในพิธีการหลังโดยเฉพาะอย่างยิ่งผู้ที่ได้เห็น "แสงของวัน" อย่างน้อยนิด (เช่นการใช้งานจริงหรืออย่างน้อยการใช้งานที่ไหนสักแห่ง) จนถึงตอนนี้ฉันรู้เกี่ยวกับกระบวนการสื่อสารตามลำดับ, โมเดลนักแสดง, พีชคณิตของกระบวนการสื่อสาร, และแคลคูลัสของระบบการสื่อสาร ในบรรดาสิ่งเหล่านี้ฉันรู้ว่าโมเดลนักแสดงได้ตระหนักในภาษาเช่น Erlang, Scala และ Haskell

ฉันสงสัยว่ามีรากฐานฉันควรเรียนรู้และฝึกฝนก่อนที่จะจัดการกับเขตข้อมูลเหล่านี้หรือไม่หากมี "คลาสสิค" ที่ฉันควรจะศึกษาก่อนและหากมีคนอื่นที่เป็นที่นิยมที่ฉันอาจพลาดไป

พิธีการที่ใช้กันอย่างแพร่หลายคือ -calculusโดย Milner, Parrow และ Walker มันเป็นส่วนเสริมของ CCS และมาในหลากหลายรูปแบบซึ่งบางส่วน (ความไม่ตรงกัน -calculus) พยายามที่จะเป็นแบบจำลองของนักแสดง ขณะนี้มีสาขาการพิมพ์จำนวนมากสำหรับ -calculi ซึ่งง่ายที่สุดซึ่งอาจเป็นประเภทเซสชันของ Honda ประเภทดังกล่าวค่อยๆแพร่กระจายจากงานวิจัยสู่การวิจัย$\pi$$\pi$$\pi$