Biografier har introducerats i syfte att tillhandahålla en topografisk metamodell för mobila, distribuerade agenter som kan manipulera sina egna kommunikationslänkar och boplatser. I detta dokument undersöker vi en presentation av typsystem på bigrafiska system med hjälp av begreppet sortering. Vi fokuserar vår uppmärksamhet på den typade polyadic π-calculus med kapacitetstypernaà la Pierce och Sangiorgi, som vi representerar med hjälp av en ny typ av länksortering som kallas undersortering. Med hjälp av teorin om relativa pushouts härleder vi ett märkt övergångssystem som ger en myntduktiv karakterisering av en beteendekongruens för kalkylen. De resultat som erhålls i detta dokument utgör en lovande grund för presentationen av olika typer av system för (polyadiska) π-kalculus som sorteringar vid fastställande av bigrafer.
Bundgaard och Sassone REF har använt en ny typ av länksortering för att representera kapacitetstyper av den typade polyadic π-calculus, och på så sätt utgöra en grund för att presentera relaterade typsystem i Brss.
Typed polyadic pi-calculus in bigraphs
{'venue': "PPDP '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}