Search results for "Concurrent Constraint Programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Thomas Hildebrandt, Hugo A. López	Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming
3	Luca Bortolussi, Alberto Policriti	Modeling Biological Systems in Stochastic Concurrent Constraint Programming.	Constraints	2008	DBLP DOI BibTeX RDF	Stochastic concurrent constraint programming, Stochastic modeling, Biological systems
3	Marta Z. Kwiatkowska	Infinite Behaviour and Fairness in Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	fairness, liveness, semantic properties, concurrent constraint programming
2	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
2	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
2	Rémy Haemmerlé, François Fages, Sylvain Soliman	Closures and Modules Within Linear Logic Concurrent Constraint Programming.	FSTTCS	2007	DBLP DOI BibTeX RDF
2	Stefano Bistarelli, Ugo Montanari, Francesca Rossi	Soft concurrent constraint programming.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Constraints, soft constraints, concurrent constraint programming
2	Moritz Neugebauer	Concurrent Constraint Programming and Tree-Based Acoustic Modelling.	ICLP	2004	DBLP DOI BibTeX RDF
2	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta	jcc: Integrating Timed Default Concurrent Constraint Programming into Java.	EPIA	2003	DBLP DOI BibTeX RDF
2	Frank D. Valencia	Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.	ICLP	2003	DBLP DOI BibTeX RDF
2	Mogens Nielsen, Frank D. Valencia	Notes on Timed Concurrent Constraint Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
2	Alexander Bockmayr, Arnaud Courtois	Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems.	ICLP	2002	DBLP DOI BibTeX RDF
2	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	On the expressive power of temporal concurrent constraint programming languages.	PPDP	2002	DBLP DOI BibTeX RDF	constraint programming, expressiveness, timed systems
2	Mogens Nielsen, Frank D. Valencia	Temporal Concurrent Constraint Programming: Applications and Behavior.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
2	Nicolas Romero	Mobile Concurrent Constraint Programming.	PPAM	2001	DBLP BibTeX RDF
2	Catuscia Palamidessi, Frank D. Valencia	A Temporal Concurrent Constraint Programming Calculus.	CP	2001	DBLP DOI BibTeX RDF
2	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Transformations of CCP programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	optimization, Concurrent constraint programming, deadlock-freeness
2	Simone Tini, Andrea Maggiolo-Schettini	A Causal Semantics for Timed Default Concurrent Constraint Programming.	AMAST	2000	DBLP DOI BibTeX RDF
2	Alessandra Di Pierro, Herbert Wiklicky	Concurrent constraint programming: towards probabilistic abstract interpretation.	PPDP	2000	DBLP DOI BibTeX RDF	probabilistic abstract interpretation, probabilistic concurrent constraint programming, static analysis
2	David Gilbert, Catuscia Palamidessi	Concurrent Constraint Programming with Process Mobility.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	René Moreno	Abstracting Properties in Concurrent Constraint Programming.	LPAR	1999	DBLP DOI BibTeX RDF
2	Alessandra Di Pierro, Herbert Wiklicky	Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.	MFCS	1998	DBLP DOI BibTeX RDF
2	Alessandra Di Pierro, Herbert Wiklicky	An Operational Semantics for Probabilistic Concurrent Constraint Programming. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
2	Vincent Schächter	Linear Concurrent Constraint Programming over Reals.	CP	1998	DBLP DOI BibTeX RDF
2	Paul Ruet, François Fages	Concurrent Constraint Programming and Non-commutative Logic.	CSL	1997	DBLP DOI BibTeX RDF
2	Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat	Models for Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
2	Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat	Truly Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
2	Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský	A Process Algebra for Synchronous Concurrent Constraint Programming.	ALP	1996	DBLP DOI BibTeX RDF
2	Peter Van Roy, Michael Mehl, Ralf Scheidhauer	Integrating Efficient Records into Concurrent Constraint Programming.	PLILP	1996	DBLP DOI BibTeX RDF	Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record
2	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
2	Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely	A Hyperdoctrinal View of Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations
1	Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia	Deriving Labels and Bisimilarity for Concurrent Constraint Programming.	FOSSACS	2011	DBLP DOI BibTeX RDF
1	Andres A. Aristizabal P.	Bisimilarity in Concurrent Constraint Programming.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Thierry Martinez	Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules.	PPDP	2010	DBLP DOI BibTeX RDF
1	Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	Compositional modelling of signalling pathways in timed concurrent constraint programming.	BCB	2010	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Alberto Policriti	Stochastic Programs and Hybrid Automata for (Biological) Modeling.	CiE	2009	DBLP DOI BibTeX RDF
1	Marco Bottalico, Stefano Bistarelli	Constraint Based Languages for Biological Reactions.	ICLP	2009	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Alberto Policriti	Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Luca Bortolussi	On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia	Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Jorge A. Pérez, Camilo Rueda	Non-determinism and Probabilities in Timed Concurrent Constraint Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Carlos Olarte, Frank D. Valencia	The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.	PPDP	2008	DBLP DOI BibTeX RDF	first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
1	José Luiz Fiadeiro	What Do Semantics Matter When the Meat Is Overcooked?.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini	Timed Soft Concurrent Constraint Programs.	COORDINATION	2008	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Ugo Montanari	Open Bisimulation for the Concurrent Constraint Pi-Calculus.	ESOP	2008	DBLP DOI BibTeX RDF
1	Romain Beauxis	Probabilistic and Concurrent Models for Security.	ICLP	2008	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Alberto Policriti	Stochastic Concurrent Constraint Programming and Differential Equations.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	María Alpuente, Bernhard Gramlich, Alicia Villanueva	A Framework for Timed Concurrent Constraint Programming with External Functions.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia	Timed Concurrent Constraint Programming for Analysing Biological Systems.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Universal Timed Concurrent Constraint Programming.	ICLP	2007	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari	Constraint-Based Policy Negotiation and Enforcement for Telco Services.	TASE	2007	DBLP DOI BibTeX RDF
1	Maria Grazia Buscemi, Ugo Montanari	CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.	ESOP	2007	DBLP DOI BibTeX RDF
1	Luca Bortolussi	Stochastic Concurrent Constraint Programming.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	F. Juan Francisco Díaz, Iván Javier Romero, Carlos Lozano	Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
1	Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia	A Declarative Framework for Security: Secure Concurrent Constraint Programming.	ICLP	2006	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
1	Isabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau, Nicolas Museux, Frederic Pasquier	A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Javier Esparza, Jirí Srba	Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.	ATVA	2006	DBLP DOI BibTeX RDF
1	Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia	On Recursion, Replication and Scope Mechanisms in Process Calculi.	FMCO	2006	DBLP DOI BibTeX RDF
1	Rémy Haemmerlé	SiLCC Is Linear Concurrent Constraint Programming.	ICLP	2005	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Herbert Wiklicky	A Distributed and Probabilistic Concurrent Constraint Programming Language.	ICLP	2005	DBLP DOI BibTeX RDF
1	Carlos Olarte, Camilo Rueda	A stochastic non-deterministic temporal concurrent constraint calculus.	SCCC	2005	DBLP DOI BibTeX RDF
1	Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek	Process algebra and constraint programming for modeling interactions in MAS.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
1	Martin Ludwig Müller	Set based failure diagnosis for concurrent constraint programming.		2004	RDF
1	Juan Francisco Díaz, Javier Andrés Mena	Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming.	MOZ	2004	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Andrew E. Santosa	Concurrent and distributed programming using constraint logic programs.	SAC	2004	DBLP DOI BibTeX RDF	concurrency, constraints, separation of concerns
1	Matthieu Petit, Arnaud Gotlieb	Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.	ICLP	2004	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Juanjo Martinez	Constraint-Based Synchronization and Verification of Distributed Java Programs.	ICLP	2004	DBLP DOI BibTeX RDF
1	Thom W. Frühwirth	Specialization of Concurrent Guarded Multi-set Transformation Rules.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Simone Tini	Timed CCP compositionally embeds Argos and Lustre.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
1	Camilo Rueda, Frank D. Valencia	On validity in modelization of musical problems by CCP.	Soft Comput.	2004	DBLP DOI BibTeX RDF
1	Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský	Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	Process Algebra for Agent Communication: A General Semantic Approach.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
1	Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi	Flow Java: Declarative Concurrency for Java.	ICLP	2003	DBLP DOI BibTeX RDF
1	Frank D. Valencia	Concurrency, Time, and Constraints.	ICLP	2003	DBLP DOI BibTeX RDF
1	Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat	Truly concurrent constraint programming.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi	On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk).	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Ugo Montanari, Francesca Rossi	Soft Concurrent Constraint Programming	CoRR	2002	DBLP BibTeX RDF
1	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	Temporal Concurrent Constraint Programming: Denotation, Logic and Applications.	Nord. J. Comput.	2002	DBLP BibTeX RDF
1	Stefano Bistarelli, Ugo Montanari, Francesca Rossi	Soft Concurrent Constraint Programming.	ESOP	2002	DBLP DOI BibTeX RDF
1	Luis Quesada, Peter Van Roy	A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.	CP	2002	DBLP BibTeX RDF
1	Kazunori Ueda	A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky	Two Formal Approaches for Approximating Noninterference Properties.	FOSAD	2002	DBLP DOI BibTeX RDF
1	Rogier M. van Eijk	Semantics of Agent Communication: An Introduction.	Foundations and Applications of Multi-Agent Systems	2002	DBLP DOI BibTeX RDF
1	François Fages, Paul Ruet, Sylvain Soliman	Linear Concurrent Constraint Programming: Operational and Phase Semantics.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
1	Frank D. Valencia	Temporal Concurrent Constraint Programming.	CP	2001	DBLP DOI BibTeX RDF
1	Tim Wahls, Gary T. Leavens	Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.	SAC	2001	DBLP DOI BibTeX RDF	SPECS-C++, formal specification, denotational semantics, concurrent constraint programming
1	Markus P. J. Fromherz, James V. Mahoney	Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching.	CP	2001	DBLP DOI BibTeX RDF
1	Simone Tini	An Axiomatic Semantics for the Synchronous Language Gentzen.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský	Multi-agent Systems as Concurrent Constraint Processes.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Tim Wahls, Gary T. Leavens, Albert L. Baker	Executing Formal Specifications with Concurrent Constraint Programming.	Autom. Softw. Eng.	2000	DBLP DOI BibTeX RDF
1	François Fages	Concurrent constraint programming and linear logic (abstract).	PPDP	2000	DBLP DOI BibTeX RDF
1	Marek Paralic	Mobile Agents Based on Concurrent Constraint Programming.	JMLC	2000	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Isabella Mastroeni	A characterization of symmetric semantics by domain complementation.	PPDP	2000	DBLP DOI BibTeX RDF	domain complementation, abstract interpretation, program semantics, concurrent constraint programming
1	Marek Paralic	Contribution to simplifying the mobile agent programming.	ICSE	2000	DBLP DOI BibTeX RDF	constraint-based programming, mobile agent, agent collaboration, Oz, logic variable
1	Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer	A Constraint-Based Framework for Prototyping Distributed Virtual Applications.	CP	2000	DBLP DOI BibTeX RDF
1	Simone Tini	On The Expressiveness of Timed Concurrent Constraint Programming.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Simone Tini, Andrea Maggiolo-Schettini	A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming.	ECOOP Workshops	1999	DBLP BibTeX RDF
1	Philippe Codognet	A Constraint-Based Language for Virtual Agents.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF