• Suche: "Concurrent constraint programming"

Treffer 1 - 20 von 498

1

Dynamic slicing for Concurrent Constraint Languages
Falaschi, Moreno ; Gabbrielli, Maurizio ; Olarte, Carlos ; et al.
Fundamenta Informaticae. 177(3-4):331-357

Debugging Program slicing Concurrent Constraint Pr... [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-AI]Computer S... …
Zeitschrift
Zu den Favoriten
2

A symbolic model for timed concurrent constraint programming
Arias, Jaime ; Guzmán, Michell ; Olarte, Carlos ; et al.
Ninth Workshop on Logical and Semantic Frameworks. :161-177

Brasilia, Brazil Temporal Logic Concurrent Constraint Pr... Model Checking [INFO.INFO-LO]Computer S... Logic in Computer Scienc... …
Konferenz
Zu den Favoriten
3

Reducing Weak to Strong Bisimilarity in CCP
Aristizábal, Andrés ; Bonchi, Filippo ; Pino, Luis ; et al.
Fifth Interaction and Concurrency Experience. :2-16

Stockholm, Sweden Concurrent Constraint Pr... Bisimiliarity F.4 [INFO.INFO-FL]Computer S... Formal Languages and Aut... …
Konferenz
Zu den Favoriten
4

Partition Refinement for Bisimilarity in CCP
Aristizábal, Andrés ; Bonchi, Filippo ; Pino, Luis ; et al.
27th ACM Symposium On Applied Computing. :88-93

Trento, Italy Partition Refinement Bisimilarity Concurrent Constraint Pr... F.4.3, D.3.2 [INFO.INFO-FL]Computer S... …
Konferenz
Zu den Favoriten
5

Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Aristizábal, Andrés ; Bonchi, Filippo ; Palamidessi, Catuscia ; et al.
FOSSACS 2011 : 14th International Conference on Foundations of Software Science and Computational Structures. :138-152

Saarbrücken, Germany Process Calculi Labelled Semantics Concurrent Constraint Pr... Bisimilarity F.4.3, D.3.2 …
Konferenz
Zu den Favoriten
6

Bisimilarity in Concurrent Constraint Programming
Aristizábal, Andrés ; Concurrency, Mobility and Transactions (COMETE) ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; et al.
26th International Conference on Logic Programming. :236-240

Edinburgh, United Kingdo... Deriving Bisimulations Concurrent Constraint Pr... Concurrency Theory F.4.3 [INFO.INFO-DC]Computer S... …
Konferenz
Zu den Favoriten
7

Concurrent and Reactive Constraint Programming
Gabbrielli, Maurizio ; Palamidessi, Catuscia ; Valencia, Frank, D. ; et al.
Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming. :231-253

Process Calculi Concurrency Theory Concurrent Constraint Pr... D.3.2, F.4.3 [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Buch
Zu den Favoriten
8

A model for interactive scores with temporal constraints and conditional branching
Toro, Mauricio ; Desainte-Catherine, Myriam ; Baltazar, Pascal ; et al.
Journées d'Informatique Musicale. :31-38

Rennes, France computer music branching interactive scores interactive music multimedia …
Konferenz
Zu den Favoriten
9

A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
Falaschi, Moreno ; Olarte, Carlos ; Palamidessi, Catuscia ; et al.
PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming. :207-218

Coimbra, Portugal Concurrent Constraint Pr... ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.2: Semantics of Prog... [INFO.INFO-SC]Computer S... …
Konferenz
Zu den Favoriten
10

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
Aranda, Jesus ; Assayag, Gérard ; Olarte, Carlos ; et al.
ICLP 2009 - 25th International Conference on Logic Programming. :509-513

Pasadena, United States FORCES Security Protocol... [INFO.INFO-SC]Computer S... Symbolic Computation [cs...
Konferenz
Zu den Favoriten
11

The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security
Olarte, Carlos ; Valencia, Frank D. ; Concurrency, Mobility and Transactions (COMETE) ; et al.
10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. :8-19

Valencia, Spain Concurrent Constraint Pr... First-order Linear Tempo... Closure Operators Security Protocols ACM: F.: Theory of Compu... …
Konferenz
Zu den Favoriten
12

A linear concurrent constraint approach for the automatic verification of access permissions
Olarte, Carlos ; Rueda, Camilo ; Pimentel, Elaine ; et al.
Proceedings of the 14th symposium on Principles and practice of declarative programming. :207-216

Linear Concurrent Constr... Linear Concurrent Constr... ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS... F.3.1: Specifying and Ve... ACM: D.: Software …
Zeitschrift
Zu den Favoriten
13

Session-based concurrency, declaratively
Mauricio Cano ; Hugo A. López ; Jorge A. Pérez ; et al.
Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w

Artificial intelligence Computer Networks and Co... Session types Geometry 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
14

Models and Emerging Trends of Concurrent Constraint Programming
Olarte, Carlos ; Rueda, Camilo ; Valencia, Frank D. ; et al.
Constraints. 18(4):535-578

Concurrent Constraint Pr... ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... [INFO.INFO-SC]Computer S... Symbolic Computation [cs... [INFO.INFO-LO]Computer S... …
Zeitschrift
Zu den Favoriten
15

Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic
Guzmán, Michell ; Perchy, Salim ; Rueda, Camilo ; et al.
Theoretical Computer Science, 2018, 744 (56--77)

Modal algebra concurrent constraint pr... concurrency theory modal logic constraint systems inverse operators …
Zeitschrift
Zu den Favoriten
16

Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems.
Olarte, Carlos ; Rueda, Camilo ; Valencia, Frank D. ; et al.
Gérard Assayag and Andrew Gerzso. New Computational Paradigms for Computer Music, Delatour France / Ircam-Centre Pompidou, 2009

Concurrent Constraint Pr... [INFO.INFO-SC]Computer S... Symbolic Computation [cs...
Buch
Zu den Favoriten
17

Towards a Unified Framework for Declarative Structured Communications
Lopez, Hugo ; Olarte, Carlos ; Perez, Jorge ; et al.
2nd PLACES 2009 - Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2009, York, United Kingdom. 15p

York, United Kingdom Concurrent Constraint Pr... [INFO.INFO-SC]Computer S... Symbolic Computation [cs...
Konferenz
Zu den Favoriten
18

Soft Concurrent Constraint Programming with Local Variables
Bussi L. ; Gadducci F. ; Santini F.
Lecture Notes in Computer Science ISBN: 9783031081453

bisimulation equivalence... residuated monoids Soft concurrent constrai... local variables 0202 electrical engineer... 0102 computer and inform... …
Buch
Zu den Favoriten
19

Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security
Olarte, Carlos ; Valencia, Frank D. ; Concurrency, Mobility and Transactions (COMETE) ; et al.
23rd Annual ACM Symposium on Applied Computing, ACM, Mar 2008, Fortaleza, Brazil

Fortaleza, Brazil Concurrent Constraint Pr... Symbolic Semantics Security Mobility [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
20

Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion
Guzmán, Michell ; Haar, Stefan ; Perchy, Salim ; et al.

Process Calculi for Conc... Space Extrusion Beliefs Mobility Epistemic Logic …
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter