Vi studerar en tidsinställd samtidig begränsning språk, kallas tccp, som erhålls genom en naturlig tidsinställd tolkning av de vanliga ccp konstruktioner: handling-prefixing tolkas som nästa tid operatör och parallell utförande av agenter följer schemaläggningen politik maximal parallellism. Dessutom innehåller tccp en enkel primitiv som gör att man kan ange tidsbegränsningar. Vi definierar den operativa semantiken hos tccp med hjälp av ett övergångssystem och vi definierar en definitionsmodell som är helt abstrakt med avseende på det vanliga begreppet observerbara (dvs. resultaten av att avsluta beräkningar). Dessutom studerar vi den semantiska och uttrycksfulla kraften hos begreppet maximal parallellism som ligger till grund för beräkningsmodellen för tccp: Vi definierar en helt abstrakt semantik för ett underspråk av tccp, som kallas ccpm, som i huvudsak är samtidig begränsande programmering, förutsatt att vi tolkar den parallella operatören i termer av maximal parallellism snarare än interleaving. Vi visar att tccp är strikt mer uttrycksfull än ccpm som i sin tur är strikt mer uttrycksfull än ccp. ]
F. de Boer m.fl. I REF definieras en tidsbegränsad utvidgning av den centrala motparten med mer expressiv kraft än den centrala motparten.
A timed concurrent constraint language
{'venue': 'Inf. Comput.', 'journal': 'Inf. Comput.', 'mag_field_of_study': ['Computer Science']}