Nyligen har olika processkalkyler införts som lämpar sig för modellering av mobil beräkning och i synnerhet rörlighet av programkod; ett framträdande exempel är omgivande kalkyl. På grund av komplexiteten i den berörda rumsliga minskningen finns det - i motsats till situationen i standardprocessen algebra - fram till nu ingen tillfredsställande kolgebraisk representation av en mobil processkalkyl. Här diskuterar vi en kolgebraisk semantik för omgivande kalkyl, som ses som ett steg mot ett generiskt kolgebraiskt ramverk för modellering av mobila system. Viktiga drag i vår modellering är en uppsättning GSOS-stil övergångsregler för omgivande kalkyl, en hårdkoppling av den så kallade härdning relationen i functorial signatur, och en set-baserad behandling av dolda namndelning. Den formella representationen av denna ram är gjuten i det algebraiska-kolgebraiska specifikationsspråket CoCasl.
Ett annat tillvägagångssätt är i REF, där en kolgebraic dennotational semantics för MA presenteras.
A coalgebraic approach to the semantics of the ambient calculus
{'venue': 'ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE', 'journal': None, 'mag_field_of_study': ['Computer Science']}