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.
Brooks REF definierade en betecknande semantik för ett delat variabelt parallellt språk, där den semantiska modellen endast beaktar statsövergångar och därför inte kan tillämpas direkt på kommunikationsprocesser.
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']}