Suchergebnisse - Process Calculi for Concurrent Constraint Programming

Belief, knowledge, lies and other utterances in an algebra for space and extrusion von 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 …”
Volltext

A Sorted Semantic Framework for Applied Process Calculi von 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 …”
Volltext

Abstract interpretation of temporal concurrent constraint programs von 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 …”
Volltext

Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics von 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 …”
Volltext

A Sorted Semantic Framework for Applied Process Calculi von 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 …”
Volltext

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

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

Timed Concurrent Constraint Programming for Analysing Biological Systems von 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 …”
Volltext

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

Volltext

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation von 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 …”
Volltext

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

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

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

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

Weak CCP bisimilarity with strong procedures von 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 …”
Volltext

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

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

Towards a Unified Framework for Declarative Structured Communications von 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 …”
Volltext

Constraint-Based Concurrency and Beyond von 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 …”
Volltext

Computing strong and weak bisimulations for psi-calculi von 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 …”
Volltext

Expressiveness in mobile process calculi von Posse, Ernesto

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

Towards a Unified Framework for Declarative Structured Communications von 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 …”
Volltext

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus von 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 …”
Volltext

Reducing Weak to Strong Bisimilarity in CCP von 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 …”
Volltext