Vi kombinerer to varianter av pi-kalkylen, asynkron pi-kalkyle og anvendt pi-kalkyle ("applied pi-calculus"), til en ny kalkyle: anvendt asynkron pi-kalkyle. Kalkylen modellerer asynkron kommunikasjon og tillater bruk ...