Abstrakt. En tidsinställd förlängning av π-calculus med en transaktionskonstruktion -kalkylen webπ - studeras. Den underliggande modellen för webπ bygger på nätverk av processer; tiden fortskrider asynkront på nätverksnivå, medan den begränsas av den lokala brådskan på processnivå. Nedskärningar av processen kan inte skjutas upp för att gynna tomgångssteg. Den extensiva modellen - den tidsinställda bisimivalensen - klarar med tid och asynkroni på ett annat sätt med avseende på tidigare förslag. I synnerhet är den diskriminerande kraften hos tidsinställd tvåsidighet svagare när den lokala brådskan försvinner. En namngiven karakterisering av tidsinställd bisimilaritet diskuteras också.
Laneve och Zavattaro REF har föreslagit en tidsbegränsad förlängning av π-calculus där tiden fortsätter asynkront på nätverksnivå, medan den begränsas av den lokala brådskan på processnivå.
Foundations of Web Transactions
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}