Search Results - Process Calculi for Concurrent Constraint Programming~

Belief, knowledge, lies and other utterances in an algebra for space and extrusion by Guzman, Michell, Haar, Stefan, Perchy, Salim, Rueda, Camilo, Valencia, Frank D.

“…The notion of constraint system (cs) is central to declarative formalisms from concurrency theory such as process calculi for concurrent constraint programming (ccp…”
Get full text

A Sorted Semantic Framework for Applied Process Calculi by Borgström, Johannes, Gutkovas, Ramūnas, Parrow, Joachim, Victor, Björn, Pohjola, Johannes Åman

“…Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process…”
Get full text

Abstract interpretation of temporal concurrent constraint programs by FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Get full text

Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics by Gerardo, M, Sarria, M

“…The Real-Time Concurrent Constraint Programming Calculus (rtcc) is a model of concurrency developed to specify systems with real-tune behaviour…”
Get full text

A Sorted Semantic Framework for Applied Process Calculi by Borgström, Johannes, Gutkovas, Ramūnas, Parrow, Joachim, Victor, Björn, Johannes Åman Pohjola

“…Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process…”
Get full text

Decidability of infinite-state timed CCP processes and first-order LTL by Valencia, Frank D.

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Get full text

Timed Concurrent Constraint Programming for Analysing Biological Systems by Gutiérrez, Julian, Pérez, Jorge A., Rueda, Camilo, Valencia, Frank D.

“…In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus…”
Get full text

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language by Rueda, Camilo, Alvarez, Gloria, Quesada, Luis O., Tamura, Gabriel, Valencia, Frank, Díaz, Juan Francisco, Assayag, Gerard

Get full text

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation by Toro, Mauricio

“…We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus…”
Get full text

A closer look at constraints as processes by Raja, N., Shyamasundar, R.K.

“…Every major paradigm of programming is built around a few key design concepts and principles…”
Get full text

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers by Ceragioli, Lorenzo, Gadducci, Fabio, Lomurno, Giuseppe, Tedeschi, Gabriele

“…Past years have seen the development of a few proposals for quantum extensions of process calculi…”
Get full text

Weak CCP bisimilarity with strong procedures by Pino, Luis F., Aristizábal, Andrés, Bonchi, Filippo, Valencia, Frank

“…•We then derive an algorithm to automatically verify the notion of weak bisimilarity in CCP. Concurrent constraint programming (CCP…”
Get full text

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion by Romero, Miguel, Rocha, Camilo

“…Spatial concurrent constraint programming (SCCP) is an algebraic model of spatial modalities in constrained-based process calculi…”
Get full text

Towards a Unified Framework for Declarative Structured Communications by López, Hugo A, Olarte, Carlos, Pérez, Jorge A

“… By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic…”
Get full text

Constraint-Based Concurrency and Beyond by Ueda, Kazunori

“… Although it has hardly been recognized as process calculi, there is a close connection between them. In this paper we try to convey the essence of constraint-based concurrency to the process calculi community…”
Get full text

Computing strong and weak bisimulations for psi-calculi by Johansson, Magnus, Victor, Björn, Parrow, Joachim

“…We present a symbolic transition system and strong and weak bisimulation equivalences for psi-calculi, and show that they are fully abstract with respect to bisimulation congruences in the non-symbolic semantics…”
Get full text

Expressiveness in mobile process calculi by Posse, Ernesto

“… Another paradigm for concurrency is known as Concurrent Constraint Programming or CCP for short…”
Get full text

Towards a Unified Framework for Declarative Structured Communications by López, Hugo A., Olarte, Carlos, Pérez, Jorge A.

“… By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic…”
Get full text

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus by Palamidessi, C., Saraswat, V., Valencia, F.D., Victor, B.

“… We consider four fragments of the pi-calculus. Each one singles out a natural source of linearity/persistence also present in other frameworks such as concurrent constraint programming (CCP…”
Get full text

Reducing Weak to Strong Bisimilarity in CCP by Aristizábal, Andrés, Bonchi, Filippo, Pino, Luis, Valencia, Frank

“…Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes…”
Get full text