Timed soft concurrent constraint programs: An interleaved and a parallel approach

Συγγραφείς: BISTARELLI, Stefano, Gabbrielli, Maurizio, Meo, MARIA CHIARA, SANTINI, FRANCESCO

Πηγή: Theory and Practice of Logic Programming. 15:743-782

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Programming Languages, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Artificial Intelligence, Software, Hardware and Architecture, Theoretical Computer Science, Computational Theory and Mathematics, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 6. Clean water, Artificial Intelligence (cs.AI), Concurrent constraint, Concurrent constraint programming, Coordinating agents, Correctness properties, Denotational semantics, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/1403.0461
http://arxiv.org/abs/1403.0461
http://export.arxiv.org/pdf/1403.0461
https://ui.adsabs.harvard.edu/abs/2014arXiv1403.0461B/abstract
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
http://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
https://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
http://journals.cambridge.org/abstract_S1471068414000106

Abstract interpretation of temporal concurrent constraint programs

Συγγραφείς: Catuscia Palamidessi, Carlos Olarte, Moreno Falaschi

Συνεισφορές: Palamidessi, Catuscia, Falaschi, Moreno, Carlos, Olarte, Catuscia, Palamidessi, Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche 'Roberto Magari' (DSMI), Università degli Studi di Siena = University of Siena (UNISI), Departamento de Electrónica, Pontificia Universidad Javeriana, Pontificia Universidad Javeriana (PUJ), Concurrency, Mobility and Transactions (COMETE), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Microsoft Research - Inria Joint Centre (MSR - INRIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Microsoft Research Laboratory Cambridge-Microsoft Corporation Redmond, Wash., DIGITEO funds for visitors, Ecole Polytechnique / DGAR funds for visitors, ANR-12-IS02-0001,PACE,Processus non-standard: Analyse, Coinduction, Expressivité(2012), ANR-11-IS02-0002,Locali,Approche Logique de Nouveaux Paradigmes de Calcul(2011)

Πηγή: Theory and Practice of Logic Programming. 15:312-357

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; STAMPA

Σύνδεσμος πρόσβασης: 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

A framework for abstract interpretation of timed concurrent constraint programs

Συγγραφείς: Falaschi, Moreno, Olarte, Carlos, Palamidessi, Catuscia

Συνεισφορές: Palamidessi, Catuscia

Πηγή: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Θεματικοί όροι: Concurrent Constraint Programming Abstract Interpretation, Abstract interpretation, Denotational semantics, Process calculi, Reactive systems, Timed concurrent constraint programming, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf
https://inria.hal.science/inria-00426608v1
https://inria.hal.science/inria-00426608v1/document
https://doi.org/10.1145/1599410.1599436
https://dl.acm.org/doi/10.1145/1599410.1599436
http://portal.acm.org/citation.cfm?doid=1599410.1599436
https://hal.inria.fr/inria-00426608
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#FalaschiOP09
https://usiena-air.unisi.it/handle/11365/37187
https://hal.inria.fr/inria-00426608/document
https://hdl.handle.net/11365/37187
https://doi.org/10.1145/1599410.1599436

A semantic framework for the abstract model checking of tccp programs

Συγγραφείς: Ernesto Pimentel, María del Mar Prados Gallardo, María Alpuente, Alicia Villanueva

Πηγή: Theoretical Computer Science. 346:58-95

Θεματικοί όροι: Model checking, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Specification and verification (program logics, model checking, etc.), Timed Concurrent Constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/2242232
https://doi.org/10.1016/j.tcs.2005.08.009

An axiomatic semantics for the synchronous language Gentzen: An axiomatic semantics for the synchronous language Gentzen.

Συγγραφείς: TINI, SIMONE

Πηγή: Lecture Notes in Computer Science ISBN: 9783540418641

Θεματικοί όροι: Computational Theory and Mathematics, Computer Networks and Communications, Applied Mathematics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F3-540-45315-6_26.pdf
https://zbmath.org/1963842
https://doi.org/10.1016/s0022-0000(03)00003-5
https://core.ac.uk/display/22493180
https://dblp.uni-trier.de/db/conf/fossacs/fossacs2001.html#Tini01
https://link.springer.com/content/pdf/10.1007%2F3-540-45315-6_26.pdf
https://rd.springer.com/chapter/10.1007/3-540-45315-6_26
https://link.springer.com/chapter/10.1007/3-540-45315-6_26
https://dblp.uni-trier.de/db/journals/jcss/jcss66.html#Tini03
http://www.sciencedirect.com/science/article/pii/S0022000003000035
https://www.sciencedirect.com/science/article/pii/S0022000003000035
https://hdl.handle.net/11383/1490752
https://hdl.handle.net/11383/1490755

Asynchronous Timed Multimedia Environments Based on the Coordination Paradigm

Συγγραφείς: Papadopoulos, George A.^Aff5

Συνεισφορές: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Malyshkin, Victor E., editor^Aff4

Πηγή: Parallel Computing Technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings. 2763:291-303

A Tool for Generating a Symbolic Representation of tccp Executions

Συγγραφείς: Alexei Lescaylle, Alicia Villanueva

Πηγή: Electronic Notes in Theoretical Computer Science. 246:131-145

Θεματικοί όροι: Timed concurrent constraint programming, symbolic representation, 0202 electrical engineering, electronic engineering, information engineering, tool demonstration, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Σύνδεσμος πρόσβασης: https://www.sciencedirect.com/science/article/pii/S1571066109002412
https://doi.org/10.1016/j.entcs.2009.07.019
https://www.sciencedirect.com/science/article/abs/pii/S1571066109002412
https://core.ac.uk/display/82283425

Automatic verification of timed concurrent constraint programs

Συγγραφείς: FALASCHI, MORENO, Villanueva A.

Συνεισφορές: Falaschi, Moreno, Villanueva, A.

Πηγή: Theory and Practice of Logic Programming. 6:265-300

Θεματικοί όροι: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Automatic verification, Reactive systems, Reactive system, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Περιγραφή αρχείου: application/pdf; STAMPA

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/cs/0505026
http://arxiv.org/abs/cs/0505026
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/automatic-verification-of-timed-concurrent-constraint-programs/E4F105EE3B2586C974ECBF75CC1B2C35
https://dblp.uni-trier.de/db/journals/corr/corr0505.html#abs-cs-0505026
https://arxiv.org/abs/cs/0505026
https://usiena-air.unisi.it/handle/11365/26186

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles

Συγγραφείς: Papadopoulos, George Angelos

Συνεισφορές: Papadopoulos, George Angelos [0000-0001-9250-4916]

Πηγή: Future Generation Computer Systems
Future Gener Comput Syst

Θεματικοί όροι: Mathematical models, Artificial intelligence, Real time systems, Timed asynchronous languages, 02 engineering and technology, Synchronization, Logic programming, Distributed computing, Distributed computer systems, Timed concurrent constraint programming, Object oriented programming, Computational methods, 0202 electrical engineering, electronic engineering, information engineering, Coordination models, Multimedia programming, Multimedia systems

Σύνδεσμος πρόσβασης: http://gnosis.library.ucy.ac.cy/handle/7/54726

Decidability of infinite-state timed CCP processes and first-order LTL

Συγγραφείς: Frank D. Valencia

Πηγή: Theoretical Computer Science. 330:577-607

Θεματικοί όροι: Specification and verification (program logics, model checking, etc.), Temporal logic, Decidability, 0102 computer and information sciences, 02 engineering and technology, First-order LTL, 01 natural sciences, Theoretical Computer Science, Process calculi, Decidability of theories and sets of sentences, Infinite-state systems, Timed concurrent constraint programming, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/2136589
https://doi.org/10.1016/j.tcs.2004.10.009

Abstract Model Checking of tccp programs

Συγγραφείς: María Alpuente, Alicia Villanueva, Ernesto Pimentel, María del Mar Prados Gallardo

Πηγή: Electronic Notes in Theoretical Computer Science. 112:19-36

Θεματικοί όροι: Abstract Interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Timed Concurrent Constraint Programming, Model Checking, Theoretical Computer Science, Computer Science(all)

Σύνδεσμος πρόσβασης: https://www.sciencedirect.com/science/article/pii/S1571066104052405
https://dblp.uni-trier.de/db/journals/entcs/entcs112.html#AlpuenteGPV05
https://core.ac.uk/display/20785631

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I

Συγγραφείς: Falaschi M, POLICRITI, Alberto, Villanueva A.

Πηγή: Electronic Notes in Theoretical Computer Science. 48:197-210

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://dblp.uni-trier.de/db/journals/entcs/entcs48.html#FalaschiPV01
https://www.sciencedirect.com/science/article/pii/S1571066104001574
https://www.sciencedirect.com/science/article/abs/pii/S1571066104001574
https://www.openaccessrepository.it/record/26333

Automatic verification of timed concurrent constraint programs

Συγγραφείς: Moreno Falaschi, Alicia Villanueva

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://arxiv.org/pdf/cs/0505026v1.pdf.

Θεματικοί όροι: Automatic verification, reactive systems, timed concurrent constraint programming

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.9636; http://arxiv.org/pdf/cs/0505026v1.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.9636
http://arxiv.org/pdf/cs/0505026v1.pdf

A Semantic Framework for the Abstract Model Checking of tccp Programs

Συγγραφείς: María Alpuente, María del Mar Gallardo, Ernesto Pimentel, Alicia Villanueva

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://150.214.108.177/pubs/doc/205.pdf.

Θεματικοί όροι: Timed Concurrent Constraint programming, Abstract interpretation, Model checking

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978; http://150.214.108.177/pubs/doc/205.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7978
http://150.214.108.177/pubs/doc/205.pdf

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles

Συγγραφείς: George A. Papadopoulos

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.ucy.ac.cy/~george/FGCSb.pdf.

Θεματικοί όροι: Multimedia programming, Timed concurrent constraint programming, Timed asynchronous languages, Coordination models, Distributed

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.4709; http://www.cs.ucy.ac.cy/~george/FGCSb.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.4709
http://www.cs.ucy.ac.cy/~george/FGCSb.pdf

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

Συγγραφείς: Frank D. Valencia

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz.

Θεματικοί όροι: ntcc calculus, timed concurrent constraint programming, decidable fragments of first-order LTL

Περιγραφή αρχείου: application/postscript

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6419
http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Συγγραφείς: Comini, Marco, Titolo, Laura, Villanueva García, Alicia

Συνεισφορές: Departamento de Sistemas Informáticos y Computación, Escuela Técnica Superior de Ingeniería Informática, Instituto Universitario Valenciano de Investigación en Inteligencia Artificial

Θεματικοί όροι: Timed Concurrent Constraint programming, denotational semantics, full abstraction, non-monotonic languages, LENGUAJES Y SISTEMAS INFORMATICOS

Περιγραφή αρχείου: application/pdf

Relation: https://riunet.upv.es/handle/10251/27810

Διαθεσιμότητα: https://riunet.upv.es/handle/10251/27810

An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract)

Συγγραφείς: Thomas Sjöland, Erik Klintskog, Seif Haridi

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz.

Θεματικοί όροι: discrete event simulation 1 1 Timed Concurrent Constraint Programming

Περιγραφή αρχείου: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4269; http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4269
http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language

Συγγραφείς: M. Falaschi, A. Policriti, A. Villanueva

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.dimi.uniud.it/~alicia/agp2000.ps.gz.

Θεματικοί όροι: Timed Concurrent Constraint programming, Reactive systems, Model checking

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.7384
http://www.dimi.uniud.it/~alicia/agp2000.ps.gz

Asynchronous timed multimedia environments based on the coordination paradigm

Συγγραφείς: Papadopoulos, George Angelos

Συνεισφορές: Papadopoulos, George Angelos [0000-0001-9250-4916]

Πηγή: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lect. Notes Comput. Sci.

Θεματικοί όροι: Computation theory, Timed Asynchronous Languages, Computational linguistics, Coordination programming, Distributed multimedia systems, Computer programming, Logic programming, Distributed computer systems, Computer programming languages, Multimedia, Coordination, Object oriented programming, Multimedia environment, Multimedia programming, Distributed Computing, Constraint theory, Multimedia systems, Timed Concurrent Constraint Programming

Σύνδεσμος πρόσβασης: http://gnosis.library.ucy.ac.cy/handle/7/54727