Vi ger en ny denotationssemantik för en delad variabel pamlel progmmming språk och visa full abstraktion: semantik ger identiska betydelser till kommandon om och endast om de inducerar samma partiella comctness beteende i alla program conteds. Innebörden av ett kommando är en uppsättning av "övergångsvapen", som registrerar de sätt på vilka ett kommando kan interagera med och påverkas av sin omgivning. W e visa hur man modifierar semantiken att införliva nya progmm konstruktioner, att tillåta olika nivåer av granularitet eller atomicitet, och att modellera rättvis oändlig cornputation, i varje fall uppnå full abstraktion med avseende på en lämplig uppfattning om programbeteende.
Fullständig abstraktion för ett delat variabelt parallellt imperativt språk studeras också i REF.
Full abstraction for a shared variable parallel language
{'venue': '[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science', 'journal': '[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science', 'mag_field_of_study': ['Computer Science']}