Search Results - "Timed Concurrent Constraint programming"

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

Authors: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA et al.

Source: Theory and Practice of Logic Programming. 15:743-782

Subject Terms: 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)

File Description: application/pdf

Access URL: 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

Authors: Catuscia Palamidessi Carlos Olarte Moreno Falaschi et al.

Contributors: Catuscia Palamidessi Carlos Olarte Moreno Falaschi 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

A framework for abstract interpretation of timed concurrent constraint programs

Authors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Contributors: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

Source: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Ernesto Pimentel María del Mar Prados Gallardo María Alpuente et al.

Source: Theoretical Computer Science. 346:58-95

Subject Terms: 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)

File Description: application/xml

Access URL: 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.

Authors: TINI, SIMONE

Source: Lecture Notes in Computer Science ISBN: 9783540418641

Subject Terms: 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

File Description: application/xml

Access URL: 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

A Tool for Generating a Symbolic Representation of tccp Executions

Authors: Alexei Lescaylle Alicia Villanueva

Source: Electronic Notes in Theoretical Computer Science. 246:131-145

Subject Terms: 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)

Access URL: 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

Authors: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

Contributors: FALASCHI, MORENO Villanueva A. Falaschi, Moreno et al.

Source: Theory and Practice of Logic Programming. 6:265-300

Subject Terms: 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)

File Description: application/pdf; STAMPA

Access URL: 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

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

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

Source: Future Generation Computer Systems
Future Gener Comput Syst

Subject Terms: 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

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

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

Authors: Frank D. Valencia

Source: Theoretical Computer Science. 330:577-607

Subject Terms: 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)

File Description: application/xml

Access URL: https://zbmath.org/2136589
https://doi.org/10.1016/j.tcs.2004.10.009

Abstract Model Checking of tccp programs

Authors: María Alpuente Alicia Villanueva Ernesto Pimentel et al.

Source: Electronic Notes in Theoretical Computer Science. 112:19-36

Subject Terms: 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)

Access URL: 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

Authors: Falaschi M POLICRITI, Alberto Villanueva A.

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

Access URL: 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

Authors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Contributors: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Source: http://arxiv.org/pdf/cs/0505026v1.pdf.

Subject Terms: Automatic verification, reactive systems, timed concurrent constraint programming

File Description: application/pdf

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

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

Authors: María Alpuente María del Mar Gallardo Ernesto Pimentel et al.

Contributors: María Alpuente María del Mar Gallardo Ernesto Pimentel et al.

Source: http://150.214.108.177/pubs/doc/205.pdf.

Subject Terms: Timed Concurrent Constraint programming, Abstract interpretation, Model checking

File Description: 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

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

Authors: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Contributors: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ucy.ac.cy/~george/FGCSb.pdf.

Subject Terms: Multimedia programming, Timed concurrent constraint programming, Timed asynchronous languages, Coordination models, Distributed

File Description: 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

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

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

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

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

Subject Terms: ntcc calculus, timed concurrent constraint programming, decidable fragments of first-order LTL

File Description: application/postscript

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

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

Authors: Comini, Marco Titolo, Laura Villanueva García, Alicia et al.

Contributors: Comini, Marco Titolo, Laura Villanueva García, Alicia et al.

Subject Terms: Timed Concurrent Constraint programming, denotational semantics, full abstraction, non-monotonic languages, LENGUAJES Y SISTEMAS INFORMATICOS

File Description: application/pdf

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

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

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

Authors: Thomas Sjöland Erik Klintskog Seif Haridi et al.

Contributors: Thomas Sjöland Erik Klintskog Seif Haridi et al.

Source: http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz.

Subject Terms: discrete event simulation 1 1 Timed Concurrent Constraint Programming

File Description: 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

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

Authors: M. Falaschi A. Policriti A. Villanueva et al.

Contributors: M. Falaschi A. Policriti A. Villanueva et al.

Source: http://www.dimi.uniud.it/~alicia/agp2000.ps.gz.

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

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

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

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

Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lect. Notes Comput. Sci.

Subject Terms: 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

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

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