Abstrakt. En ny operativ semantik för "ren" CCS föreslås som betraktar den parallella operatören som en flfSt klass ett, och tillåter en beskrivning av analysen i form av partiella beställningar. De nya semantiken (även för obevakade agenter) ges i SOS-stilen via den partiella beställningen härledningsrelationen. CCS-agenter bryts ned i grupper av sekventiella underagenter, och de nya derivat som relaterar grupper av underagenter beskriver deras handlingar och deras kausaI-beroenden. De beräkningar som erhålls genom animering av grupper av underagenter via det partiella orderderivationsförhållandet är "observerade" antingen som interleaving eller partiella order av händelser. Interleavings sammanfaller med Milners många steg härledda, och "linjäriseringar" av partiella order är ali och endast interleavings. För att få mer abstrakt semantik introducerar vi två relationer av partiell ordning observationslikvärdighet och kongruens som bevarar samstämmigheten. Dessa är finare än Milners exakt på så sätt att de skiljer mellanled av sekventiella icke-deterministiska agenter från deras samtidiga avrättning. F.d. jugoslaviska republiken Makedonien och f.d. jugoslaviska republiken Makedonien samt Efta- och EES-länderna Island, Liechtenstein och Norge ansluter sig till detta uttalande."
• I REF, Degano et al. föreslog en operativ semantik för CCS i SOS-stil via de partiella beställningarna derivatation relation.
A partial ordering semantics for CCS
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}