این کتاب، تمامی جنبههای تئوری جبری برای مکانها، از جمله مبانی معناشناسی، حساب دیفرانسیل و انتگرال برای مکانهای ایستا، اصل موضوعبندی برای مکانهای ایستا، و همچنین حساب دیفرانسیل و انتگرال برای مکانهای پویا و اصل موضوعبندی برای مکانهای پویا را در اختیار خوانندگان قرار میدهد.
– خواص و قوانین جبری مکانها، یکی از مفاهیم مهم مهندسی نرمافزار برای سیستمهای محاسباتی همروند، را معرفی میکند.
– تئوری جبری برای مکانهای ایستا و مکانهای پویا، شامل مبانی معناشناسی، حساب دیفرانسیل و انتگرال و اصل موضوعبندی را مورد بحث قرار میدهد.
– تمامی جنبههای مکانها در جبرهای فرآیندهای همروند واقعی، از جمله حساب دیفرانسیل و انتگرال برای همروندی واقعی (CTC)، جبر موازیسازی برای همروندی واقعی (APTC) و حساب دیفرانسیل و انتگرال فرآیند برای همروندی واقعی (Π) را ارائه میکند.
