Search Results - temporal concurrent constraint programming*
-
1
Authors:
Source: 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.
Subject Terms: 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
File Description: application/xml
-
2
Authors: et al.
Contributors: et al.
Source: Theory and Practice of Logic Programming. 15:312-357
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, Denotational semantics, F.3.1, D.3.2, process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract interpretation, timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems, 16. Peace & justice, Logic in Computer Science (cs.LO), Reactive systems, 13. Climate action, Timed concurrent constraint programming, timed concurrent constraint programming, denotational semantics
File Description: application/pdf; STAMPA
Access URL: http://arxiv.org/pdf/1312.2552
http://arxiv.org/abs/1312.2552
https://inria.hal.science/hal-00945462v1
https://arxiv.org/abs/1312.2552
https://hal.archives-ouvertes.fr/hal-01271663
https://repositorio.ufrn.br/jspui/handle/123456789/29777
https://doi.org/10.1017/S1471068413000641
http://ui.adsabs.harvard.edu/abs/2013arXiv1312.2552F/abstract
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming /article/abstract-interpretation-of-temporal -concurrent -constraint -programs/79AB54B8007AA797C1631A461FD7CE2B
https://dblp.uni-trier.de/db/journals/corr/corr1312.html#FalaschiOP13
http://journals.cambridge.org/article_S1471068413000641
https://doi.org/10.1017/S1471068413000641
https://hdl.handle.net/11365/46493 -
3
Authors:
Source: BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; 1601-5355; 0909-0878
-
4
Authors: Schefers, Nina Rebecca
Contributors: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes
Thesis Advisors: Ramos González, Juan José
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Gestió del trànsit aeri, Gestión del tráfico aéreo, Air traffic management, Operació basada en la trajectòria, Trayecctoria basada en la operación, Trajeectory based operation, Programació de restriccions, Programación de restricción, Constriaint programming, Tecnologies
File Description: application/pdf
Access URL: http://hdl.handle.net/10803/665750
-
5
Authors:
Source: Electronic Notes in Theoretical Computer Science. 48:197-210
Subject Terms: Model checking, Timed Concurrent Constraint programming, Reactive systems, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
File Description: application/pdf
-
6
Authors:
Source: BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; 1601-5355; 0909-0878
-
7
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783540431909
Nielsen, M & Valencia Posso, F D 2002, Temporal Concurrent Constraint Programming : Applications and Behavior. in W Brauer, H Ehrig, J Karhumäki & A Salomaa (eds), Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg. Springer, Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 2300, pp. 298-324. https://doi.org/10.1007/3-540-45711-9_17
Nielsen, M & Valencia, F D 2001, ' Temporal Concurrent Constraint Programming : Applications and Behavior ', B R I C S Report Series, no. RS-01-48 .Access URL: https://tidsskrift.dk/brics/article/download/21708/19144
https://tidsskrift.dk/brics/article/download/21708/19144
https://tidsskrift.dk/brics/article/view/21708
http://core.ac.uk/display/23693143
https://dblp.uni-trier.de/db/conf/birthday/rozenberg2002.html#NielsenV02
http://www.lix.polytechnique.fr/~fvalenci/papers/chapter-ntcc.pdf
https://link.springer.com/chapter/10.1007/3-540-45711-9_17
https://rd.springer.com/chapter/10.1007/3-540-45711-9_17
https://pure.au.dk/portal/en/publications/ecc46fc0-983b-11da-bee9-02004c4f4f50
https://doi.org/10.1007/3-540-45711-9_17
https://pure.au.dk/portal/en/publications/fa37a730-969f-11dc-bee9-02004c4f4f50 -
8
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783540428633
Access URL: https://tidsskrift.dk/brics/article/download/21681/19117
https://rd.springer.com/chapter/10.1007/3-540-45578-7_21
https://dblp.uni-trier.de/db/conf/cp/cp2001.html#PalamidessiV01
http://www.lix.polytechnique.fr/~fvalenci/papers/lncs-ntcc.pdf
https://link.springer.com/chapter/10.1007%2F3-540-45578-7_21
https://core.ac.uk/display/23553393
https://tidsskrift.dk/brics/article/view/21681 -
9
Authors: Frank D. Valencia
Source: Lecture Notes in Computer Science ISBN: 9783540428633
Access URL: https://rd.springer.com/chapter/10.1007/3-540-45578-7_84
https://dblp.uni-trier.de/db/conf/cp/cp2001.html#Valencia01
http://www.lix.polytechnique.fr/~fvalenci/papers/22390786.pdf
https://core.ac.uk/display/21976087
https://link.springer.com/chapter/10.1007/3-540-45578-7_84
https://link.springer.com/content/pdf/10.1007%2F3-540-45578-7_84.pdf -
10
Authors:
Contributors:
Subject Terms: Concurrent Constraint programming, Programmation Concurrent par Contraintes, Security, sécurité, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, sémantiques, Semantics
File Description: application/pdf
Access URL: https://pastel.hal.science/tel-00430446v1
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Programming, Applications and Behavior
File Description: application/postscript
-
12
Authors:
Source: Nielsen, M, Palamidessi, C & Valencia, F D 2002, On the Expressive Power of Temporal Concurrent Constraint Programming Languages. in Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming. Association for Computing Machinery, pp. 156-167, ACM SIGPLAN international conference on Principles and practice of declarative programming, Pittsburgh, Pennsylvania, United States, 06/10/2002. https://doi.org/10.1145/571157.571173
Subject Terms: constraint programming, expressiveness, timed systems
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Timed Concurrent Constraint programming, Reactive systems, Model checking
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7384; http://www.dimi.uniud.it/~alicia/agp2000.ps.gz
-
14
Authors:
Source: Electronic Notes in Theoretical Computer Science. 68:3
Subject Terms: 0211 other engineering and technologies, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
Access URL: https://dblp.uni-trier.de/db/conf/ppdp/ppdp2002.html#NielsenPV02
https://core.ac.uk/display/20940136
http://www.lix.polytechnique.fr/~fvalenci/papers/paper.pdf
https://dl.acm.org/doi/10.1145/571157.571173
https://www.sciencedirect.com/science/article/pii/S1571066105803597
http://dblp.uni-trier.de/db/journals/entcs/entcs68.html#Palamidessi02
https://dblp.uni-trier.de/db/journals/entcs/entcs68.html#Palamidessi02 -
15
Authors: et al.
Contributors: et al.
Subject Terms: Program Specification, Timed Systems, Reactive Systems, Multi-Agent Systems, Musical Applications
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.7827; http://www.cse.psu.edu/~catuscia/papers/Ntcc/njc02.ps
-
16
Authors: et al.
Contributors: et al.
File Description: application/postscript
-
17
Authors:
Source: Theoretical Computer Science. Nov2015, Vol. 606, p98-120. 23p.
Subject Terms: *CONSTRAINT programming, *LINEAR systems, *SYSTEMS theory, *MATHEMATICAL proofs, *PROGRAMMING languages
-
18
Authors:
Contributors:
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.5839; http://www.ircam.fr/equipes/repmus/cpws/rueda.ps
-
19
Authors:
Contributors:
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.5260; http://www.lix.polytechnique.fr/~fvalenci/papers/22390786.pdf
-
20
Authors: et al.
Contributors: et al.
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder