Search Results - "Timed concurrent constraint programming"

A Symbolic Model for Timed Concurrent Constraint Programming

Authors: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Contributors: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte et al.

Source: Electronic Notes in Theoretical Computer Science. 312:161-177

Subject Terms: Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Concurrent constraint programming, 01 natural sciences, model checking, Model Checking, Theoretical Computer Science, temporal logic, Temporal Logic, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Computer Science(all)

File Description: application/pdf

Access URL: https://hal.science/hal-01257078v2
https://hal.science/hal-01257078v2/document
https://doi.org/10.1016/j.entcs.2015.04.010
https://core.ac.uk/display/81983992
https://www.sciencedirect.com/science/article/pii/S1571066115000146
https://dblp.uni-trier.de/db/journals/entcs/entcs312.html#AriasGO15
https://hal.archives-ouvertes.fr/hal-01257078
https://tel.archives-ouvertes.fr/INRIA/hal-01257078v1

Compositional modelling of signalling pathways in timed concurrent constraint programming

Authors: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos et al.

Contributors: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos et al.

Source: Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology. :414-417

Subject Terms: [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], 0206 medical engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-00548213/file/bio-ntcc-cr.pdf
https://dl.acm.org/doi/10.1145/1854776.1854843
https://doi.org/10.1145/1854776.1854843
https://hal.archives-ouvertes.fr/hal-00548213/document
http://portal.acm.org/citation.cfm?doid=1854776.1854843
https://hal.archives-ouvertes.fr/hal-00548213
https://hal.inria.fr/hal-00548213/en

A Framework for Timed Concurrent Constraint Programming with External Functions

Authors: María Alpuente Alicia Villanueva Bernhard Gramlich

Source: Electronic Notes in Theoretical Computer Science. 188:143-155

Subject Terms: Functional features, Case study, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Timed Concurrent Constraint language, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Access URL: http://www.logic.at/staff/gramlich/papers/prole06-entcs07.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#AlpuenteGV07
https://core.ac.uk/display/82755758
https://www.logic.at/staff/gramlich/papers/prole06-entcs07.pdf
https://www.sciencedirect.com/science/article/pii/S1571066107004859

Timed Concurrent Constraint Programming for Analysing Biological Systems

Authors: Julian Gutierrez Jorge A. Pérez Frank D. Valencia et al.

Source: Electronic Notes in Theoretical Computer Science. 171:117-137

Subject Terms: 0301 basic medicine, 03 medical and health sciences, Partial Information, Verification of Biological Systems, Concurrent Constraint Programming (CCP), 0102 computer and information sciences, 01 natural sciences, Process Calculi, Theoretical Computer Science, Computer Science(all), 3. Good health

Access URL: https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012

Foundations of timed concurrent constraint programming

Authors: Vijay Saraswat Vineet Gupta Radha Jagadeesan

Source: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science. :71-80

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

A multimedia programming model based on timed concurrent constraint programming

Authors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Contributors: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Source: Computer Systems Science and Engineering
Comput Syst Sci Eng

Subject Terms: Data structures, Declarative logic programming, Object oriented timed concurrent constraint programming (OO-TCCP), Real time systems, 02 engineering and technology, Modelling and Synchronisation of Multimedia Objects, Logic programming, Multimedia Programming, Declarative Programming, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Computer systems programming, (Applications of) Concurrent Constraint Programming, Constraint theory, Multimedia systems, Data flow analysis

Access URL: http://gnosis.library.ucy.ac.cy/handle/7/54730

On the expressiveness of Timed Concurrent Constraint Programming

Authors: Tini, Simone

Source: Electronic Notes in Theoretical Computer Science. 27:3-17

Subject Terms: General Computer Science, 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)

Access URL: https://www.sciencedirect.com/science/article/pii/S1571066105802919
https://www.sciencedirect.com/science/article/abs/pii/S1571066105802919
https://dblp.uni-trier.de/db/journals/entcs/entcs27.html#Tini99
https://www.openaccessrepository.it/record/26423

Default timed concurrent constraint programming

Authors: Vijay Saraswat Radha Jagadeesan Vineet Gupta

Source: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95. :272-285

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://core.ac.uk/display/22613689
https://dblp.uni-trier.de/db/conf/popl/popl95.html#SaraswatJG95
http://www-cs-students.stanford.edu/~vgupta/publications/defaultTcc-popl95.pdf
https://dl.acm.org/doi/10.1145/199448.199513

Notes on Timed Concurrent Constraint Programming

Authors: Mogens Nielsen Frank D. Valencia Desel, Jörg et al.

Contributors: Mogens Nielsen Frank D. Valencia Desel, Jörg et al.

Source: Lecture Notes in Computer Science ISBN: 9783540222613
Nielsen, M & Valencia, F D 2004, Notes on Timed Concurrent Constraint Programming. in J Desel, W Reisig & G Rozenberg (eds), Lectures on Concurrency and Petri Nets : Advances in Petri Nets. Springer, Lecture Notes in Computer Science, vol. 3098, pp. 137-159, Advanced Course in Petri Nets, Eichsätt, Germany, 17/12/2010. https://doi.org/10.1007/978-3-540-27755-2_20

Subject Terms: 16. Peace & justice

Access URL: https://link.springer.com/chapter/10.1007%2F978-3-540-27755-2_20
https://dblp.uni-trier.de/db/conf/ac/acpn2003.html#NielsenV03
https://rd.springer.com/chapter/10.1007/978-3-540-27755-2_20
https://link.springer.com/10.1007/978-3-540-27755-2_20
https://pure.au.dk/portal/en/publications/bb0ac390-f622-11df-a891-000ea68e967b
https://doi.org/10.1007/978-3-540-27755-2_20

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Authors: Jorge A. Pérez Camilo Rueda

Source: Lecture Notes in Computer Science ISBN: 9783540899815

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://www.narcis.nl/publication/RecordID/oai%3Apure.rug.nl%3Apublications%2Fdd5ec656-33a4-43bc-87dd-1360203808b8
https://rd.springer.com/chapter/10.1007/978-3-540-89982-2_56
https://core.ac.uk/display/79281322
https://dblp.uni-trier.de/db/conf/iclp/iclp2008.html#PerezR08
https://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_56
https://research.rug.nl/en/publications/non-determinism-and-probabilities-in-timed-concurrent-constraint-

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Authors: Frank D. Valencia

Source: Lecture Notes in Computer Science ISBN: 9783540206422

Access URL: https://dblp.uni-trier.de/db/conf/iclp/iclp2003.html#Valencia03a
http://www.diva-portal.org/smash/record.jsf?pid=diva2:48252
https://rd.springer.com/chapter/10.1007/978-3-540-24599-5_29
https://link.springer.com/chapter/10.1007/978-3-540-24599-5_29
https://core.ac.uk/display/20938451

Universal Timed Concurrent Constraint Programming

Authors: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank et al.

Contributors: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank et al.

Source: Lecture Notes in Computer Science ISBN: 9783540746089

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

File Description: application/pdf

Access URL: http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf
https://inria.hal.science/inria-00201066v1
https://inria.hal.science/inria-00201066v1/document
https://doi.org/10.1007/978-3-540-74610-2_47
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_47
https://hal.inria.fr/inria-00201066
https://hal.inria.fr/inria-00201066/document
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_47
https://link.springer.com/content/pdf/10.1007/978-3-540-74610-2_47.pdf
https://tel.archives-ouvertes.fr/INRIA/inria-00201066v1

Timed Concurrent Constraint Programming for Analysing Biological Systems

Authors: Gutierrez, Julian Pérez, Jorge A. Rueda, Camilo et al.

Source: Gutierrez, J, Pérez, J A, Rueda, C & Valencia, F D 2007, 'Timed Concurrent Constraint Programming for Analysing Biological Systems', Electronic Notes in Theoretical Computer Science, vol. 171, no. 2, pp. 117-137.

Index Terms: article

URL: https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012
https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://pure.rug.nl/ws/files/184120815/Timed_Concurrent_Constraint_Programming_for_Analysing_Biological_Systems.pdf
https://www.scopus.com/pages/publications/34250852244
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2007.05.012
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
info:eu-repo/semantics/altIdentifier/pissn/1571-0661

A Causal Semantics for Timed Concurrent Constraint Programming

Authors: MAGGIOLO SCHETTINI A. TINI, SIMONE

Access URL: https://hdl.handle.net/11383/1490753

Two Semantics for Timed Concurrent Constraint Programming

Authors: MAGGIOLO SCHETTINI A. TINI, SIMONE

Access URL: https://hdl.handle.net/11383/6188

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Authors: Valencia, Frank

Index Terms: Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Logic Programming, 19th International Conference, p. 422-437

A Framework for Timed Concurrent Constraint Programming with External Functions

Authors: M. Alpuente B. Gramlich A. Villanueva et al.

Contributors: M. Alpuente B. Gramlich A. Villanueva et al.

Source: http://www.dsic.upv.es/~villanue/pub/AGV07.pdf.

Subject Terms: Timed Concurrent Constraint language, Functional features, Case study

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8732; http://www.dsic.upv.es/~villanue/pub/AGV07.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8732
http://www.dsic.upv.es/~villanue/pub/AGV07.pdf

Timed Concurrent Constraint Programming in Systems Biology

Authors: Ro Arbeláez Julian Gutiérrez Jorge A. Pérez et al.

Contributors: Ro Arbeláez Julian Gutiérrez Jorge A. Pérez et al.

Source: http://homepages.inf.ed.ac.uk/s0785782/alp06.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2091; http://homepages.inf.ed.ac.uk/s0785782/alp06.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2091
http://homepages.inf.ed.ac.uk/s0785782/alp06.pdf

Timed Concurrent Constraint Programming with Instantaneous Computations 4 Abstract

Authors: M. Alpuente A B. Gramlich B A. Villanueva A et al.

Contributors: M. Alpuente A B. Gramlich B A. Villanueva A et al.

Source: http://www.dsic.upv.es/~villanue/AGV06.pdf.

Subject Terms: Key words, Timed Concurrent Constraint language, Functional features, Case study

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9300; http://www.dsic.upv.es/~villanue/AGV06.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9300
http://www.dsic.upv.es/~villanue/AGV06.pdf

DOI:10.1145/1854776.1854843 Compositional Modelling of Signalling Pathways in Timed Concurrent Constraint Programming ∗

Authors: Davide Chiarugi Moreno Falaschi Catuscia Palamidessi et al.

Contributors: Davide Chiarugi Moreno Falaschi Catuscia Palamidessi et al.

Source: http://hal.archives-ouvertes.fr/docs/00/54/82/13/PDF/bio-ntcc-cr.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.6368

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.6368
http://hal.archives-ouvertes.fr/docs/00/54/82/13/PDF/bio-ntcc-cr.pdf