Suchergebnisse - "temporal concurrency constraint programming"

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications: Temporal concurrent constraint programming: Denotation, logic and applications

Autoren: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

Quelle: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.

Schlagwörter: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic programming, musical applications, program specification, temporal concurrent constraint programming, timed systems, 0202 electrical engineering, electronic engineering, information engineering, temporal concurrency constraint programming, multi-agent systems, calculi for concurrency

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1809625
https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications

Autoren: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

Quelle: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.

Schlagwörter: calculi for concurrency, multi-agent systems, musical applications, program specification, reactive systems, temporal concurrency constraint programming, timed systems

Verfügbarkeit: https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50