类 型
19 篇文献
 
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus  
We present an expressiveness study of linearity and persistence of processes. We choose the pi-calculus, one of the main representatives of process calculi, as a framework to conduct our study. We con......
Logic in Computer Science  2006
14次引用 0 0
Deriving Labels and Bisimilarity for Concurrent Constraint Programming  
Concurrent constraint programming (ccp) is a well-established model for concurrency. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, ......
Foundations of Software Science and Computation Structure  2011
0次引用 0 0
Universal Temporal Concurrent Constraint Programming  
0次引用 0 0
On the Expressive Power of Concurrent Constraint Programming Languages  
The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages di#ering in their way of expressing infinite behavior have been proposed in the literature. In this......
Principles and Practice of Declarative Programming  2002
16次引用 0 0
Deriving Labels and Bisimilarity for Concurrent Constraint Programming  
Abstract. Concurrent constraint programming (ccp) is a well-established model for concurrency that builds upon operational and algebraic notions from process calculi and first-order logic. Bisimilarit......
1次引用 0 0
On the expressive power of temporal concurrent constraint programming languages  
The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature. In this ......
Principles and Practice of Declarative Programming  2002
15次引用 0 0
A framework for abstract interpretation of timed concurrent constraint programs  
Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e. systems that continuously interact with the environment. The......
Principles and Practice of Declarative Programming  2009
2次引用 0 0
Notes on Timed CCP  
A constraint is a piece of (partial) information on the values of the variables of a system. Concurrent constraint programming (ccp) is a model of concurrency in which agents (also called processes)......
4th Advanced Course on Petri Nets ICPN’03. LNCS  2004
0次引用 0 0
Notes on Timed Concurrent Constraint Programming  
A constraint is a piece of (partial) information on the values of the variables of a system. Concurrent constraint programming (ccp) is a model of concurrency in which agents (also called processes) i......
Advanced Courses  2003
0次引用 0 0
Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract)  
This paper presents a precise connection between a non-commutative version of intuitionistic linear logic (INLL) and concurrent constraint programming (cc). The contribution of this paper is twofold: ......
4次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜