Výsledky vyhľadávania - Process Calculi for Concurrent Constraint Programming

Belief, knowledge, lies and other utterances in an algebra for space and extrusion Autor 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…”
Získať plný text

A Sorted Semantic Framework for Applied Process Calculi Autor 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…”
Získať plný text

Abstract interpretation of temporal concurrent constraint programs Autor 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…”
Získať plný text

Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics Autor 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…”
Získať plný text

A Sorted Semantic Framework for Applied Process Calculi Autor 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…”
Získať plný text

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

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Získať plný text

Timed Concurrent Constraint Programming for Analysing Biological Systems Autor 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…”
Získať plný text

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

Získať plný text

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation Autor 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…”
Získať plný text

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

“…Every major paradigm of programming is built around a few key design concepts and principles…”
Získať plný text

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

“…Past years have seen the development of a few proposals for quantum extensions of process calculi…”
Získať plný text

Weak CCP bisimilarity with strong procedures Autor 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…”
Získať plný text

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

“…Spatial concurrent constraint programming (SCCP) is an algebraic model of spatial modalities in constrained-based process calculi…”
Získať plný text

Towards a Unified Framework for Declarative Structured Communications Autor 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…”
Získať plný text

Constraint-Based Concurrency and Beyond Autor 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…”
Získať plný text

Computing strong and weak bisimulations for psi-calculi Autor 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…”
Získať plný text

Expressiveness in mobile process calculi Autor Posse, Ernesto

“… Another paradigm for concurrency is known as Concurrent Constraint Programming or CCP for short…”
Získať plný text

Towards a Unified Framework for Declarative Structured Communications Autor 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…”
Získať plný text

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus Autor 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…”
Získať plný text

Reducing Weak to Strong Bisimilarity in CCP Autor 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…”
Získať plný text