Den realtidsprocess algebra av [BAB91 a] utvidgas till verklig rymd genom att kräva närvaro av rumsliga koordinater för varje atomisk åtgärd, utöver den nödvändiga tidsattributet. Det visar sig att asynkron kommunikation inte lätt kan undvikas. På grundval av de statliga operatörerna av [BAB88] och följande [BECT85] införs mekanismer för asykron kommunikation som ytterligare ett inslag i den verkliga rymdprocessen algebra. Den övergripande betoningen ligger på den inledande förklaringen av egenskaperna hos den verkliga rymdprocessen algebra, och karakteristiska exempel ges för var och en av dessa.
Real rymdprocess algebra AVS-REF baserad på AVS-införda platser med verkliga värden som ett attribut för atomåtgärder.
Real space process algebra
{'venue': 'CONCUR', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Engineering']}