Vi presenterar a-kalculus, en beräkning av kommunikationssystem där man naturligt kan uttrycka processer som har förändrat struktur. Inte bara kan komponentagenterna i ett system vara godtyckligt kopplade, men en kommunikation mellan grannar kan medföra information som ändrar denna koppling. Analysen är en förlängning av processen algebra CCS, efter arbete av Engberg och Nielsen, som tillförde mobilitet till CCS samtidigt som dess algebraiska egenskaper bevaras. Den rr-calculus vinner enkelhet genom att ta bort all skillnad mellan variabler och konstanter; kommunikationslänkar identifieras med namn, och beräkning är endast representeras som kommunikation av namn över länkar. Efter en illustrerad beskrivning av hur n-calculus generaliserar konventionella processalgebras vid behandling av rörlighet, ges flera exempel som utnyttjar rörlighet i någon detalj. De viktiga exemplen är kodning i n-kalculus av högre ordning funktioner (I-kalculus och kombinatorisk algebra), överföring av processer som värden, och representation av datastrukturer som processer. Tidningen fortsätter med att presentera den algebraiska teorin om stark bisimilaritet och stark likvärdighet, inklusive ett nytt begrepp om likvärdighet indexerad av distinktioner-dvs. antaganden om ojämlikhet mellan namn. Dessa teorier bygger på en semantik i termer av ett märkt övergångssystem och en uppfattning om stark bisimulation, som båda förklaras i detalj i ett följepapper. Vi rapporterar också kort om pågående arbete baserat på motsvarande begrepp om svag bisimulation, där interna åtgärder inte kan iakttas.
Det är en förlängning av pi-kalkylen i REF.
A calculus of mobile processes, II
{'venue': 'Inf. Comput.', 'journal': 'Inf. Comput.', 'mag_field_of_study': ['Computer Science']}