I detta dokument presenterar vi en allmän ram inom vilken en studie av nätverk av processer kan genomföras. Det är det. baseras på den matematiska tekniken till abstrakt från irrelevanta detaljer. Vi börjar med en stor klass av objekt och vissa operationer på dem. Beroende på ett korrektionskriterium som ska införas, visar sig vissa av dessa objekt vara likvärdiga. Det resulterande utrymmet för likvärdiga klasser och operationer på dem är, under vissa förhållanden, det (fullständigt) abstrakta utrymmet av intresse för detta särskilda korrekthetsbekymmer. "Ve använder denna metod för att studera nätverk för vilka vi antar att cOl11lnuutications är asymmetriska och asynkrona. Vi inför korrekthetskriteriet för avsaknad av beräkningsinterferens. Den resulterande abst.ract utrymme tUl'llS ut för att vara utrymmet för delay-insensitive specificatjons. Som operatör studerar vi sammansättningen av nätverk. Komposition operat.eller på den resulterande spa.ce visas ha en förvånansvärt enkel fact.orization egenskap, som visar sig vara mycket enkel på grund av t.he jag inte pproach taget. 0 Lägg märke till att CHAOS och QUIET är de enda DTS med tomt alfabet och även de enda DTS tha.t är invarianta under eftertanke. Hittills för enskilda processer. Som tidigare nämnts vill vi studera nätverk av processer. Ett nätverk är en uppsättning processer där varje länk används av lllOst två processer. Som mest Olle process ca,n skicka signaler på en viss länk a.nd som mest Olle process ca.n får signa.ls från den länken. Länkar som används av exa.ctly en process allmv cOlluTIunications of the network with the "outside world", som i detta dokument är bara ett annat nätverk. Det senare nätverket kan ses som en miljö i den förra. I detta dokument hänvisar vi till ett nätverk som ett system. Vi introducerar också en operatör på system för att modellera deras parallella sammansättning i operativ mening. Definition 7 A s.l'sl,em X är en uppsättning DT5s med parvis åtskilda alfabet, dvs.
Det motsvarande begreppet för nätverket av kommunikationsprocesser beaktas av Chen et al. REF, där det kallas en frånvaro av beräkningsinterferens.
Networks of Communicating Processes and Their (De-)Composition
{'venue': 'MPC', 'journal': None, 'mag_field_of_study': ['Computer Science']}