Suchergebnisse - (("timed concurrent constraint programming") OR ("time concurrent constraint programming"))*

A Symbolic Model for Timed Concurrent Constraint Programming

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

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

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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

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

Weitere Verfasser: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos et al.

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

Schlagwörter: [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]

Dateibeschreibung: application/pdf

Zugangs-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

Autoren: María Alpuente Alicia Villanueva Bernhard Gramlich

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

Schlagwörter: 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)

Zugangs-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

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

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

Schlagwörter: 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

Zugangs-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

Autoren: Vijay Saraswat Vineet Gupta Radha Jagadeesan

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

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

On the expressiveness of Timed Concurrent Constraint Programming

Autoren: Tini, Simone

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

Schlagwörter: 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)

Zugangs-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

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

Autoren: Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz.

Schlagwörter: ntcc calculus, timed concurrent constraint programming, decidable fragments of first-order LTL

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6419; http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6419
http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz

Default timed concurrent constraint programming

Autoren: Vijay Saraswat Radha Jagadeesan Vineet Gupta

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-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

Universal Timed Concurrent Constraint Programming

Autoren: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank, D. et al.

Weitere Verfasser: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank, D. et al.

Quelle: 23rd International Conference in Logic Programming (ICLP'07)
https://inria.hal.science/inria-00201066
23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. pp.464-465, ⟨10.1007/978-3-540-74610-2_47⟩

Schlagwörter: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geographisches Schlagwort: Porto, Portugal

Time: Porto, Portugal

Verfügbarkeit: https://inria.hal.science/inria-00201066
https://inria.hal.science/inria-00201066v1/document
https://inria.hal.science/inria-00201066v1/file/iclp07DC.pdf
https://doi.org/10.1007/978-3-540-74610-2_47

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Autoren: Jorge A. Pérez Camilo Rueda

Quelle: Lecture Notes in Computer Science ISBN: 9783540899815

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-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-

A multimedia programming model based on timed concurrent constraint programming

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

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

Quelle: Computer Systems Science and Engineering
Comput Syst Sci Eng

Schlagwörter: 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

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

Notes on Timed Concurrent Constraint Programming

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

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

Quelle: 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

Schlagwörter: 16. Peace & justice

Zugangs-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

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

Autoren: Davide Chiarugi Moreno Falaschi Catuscia Palamidessi et al.

Weitere Verfasser: Davide Chiarugi Moreno Falaschi Catuscia Palamidessi et al.

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

A Framework for Timed Concurrent Constraint Programming with External Functions

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

Weitere Verfasser: M. Alpuente B. Gramlich A. Villanueva et al.

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

Schlagwörter: Timed Concurrent Constraint language, Functional features, Case study

Dateibeschreibung: 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

Verfügbarkeit: 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

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

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

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

Dateibeschreibung: 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

Verfügbarkeit: 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

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

Weitere Verfasser: M. Alpuente A B. Gramlich B A. Villanueva A et al.

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

Schlagwörter: Key words, Timed Concurrent Constraint language, Functional features, Case study

Dateibeschreibung: application/pdf

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

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

C.: Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Autoren: Jorge A. Pérez Camilo Rueda The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jorge A. Pérez Camilo Rueda The Pennsylvania State University CiteSeerX Archives

Quelle: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Apr08.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.4068; http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Apr08.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.4068
http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Apr08.pdf

Timed Concurrent Constraint Programming. The utcc calculus

Autoren: Carlos Olarte Lix École Polytechnique Frank D. Valencia et al.

Weitere Verfasser: Carlos Olarte Lix École Polytechnique Frank D. Valencia et al.

Quelle: http://hal.inria.fr/docs/00/20/14/97/PDF/utccSac08.pdf.

Schlagwörter: Symbolic Semantics, Security, Mobility

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.4558; http://hal.inria.fr/docs/00/20/14/97/PDF/utccSac08.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.4558
http://hal.inria.fr/docs/00/20/14/97/PDF/utccSac08.pdf

A Causal Semantics for Timed Concurrent Constraint Programming

Autoren: MAGGIOLO SCHETTINI A. TINI, SIMONE

Zugangs-URL: https://hdl.handle.net/11383/1490753

Timed Concurrent Constraint Programming for Analysing Biological Systems

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

Quelle: 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 Begriffe: 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