Search Sciweavers | Sciweavers

170 search results - page 8 / 34

» Bisimilarity in Concurrent Constraint Programming

click to vote

PPCP
1993

92views Programming Languages» more PPCP 1993»

Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)

15 years 1 months ago

Download web.it.kth.se

Seif Haridi, Sverker Janson, Johan Montelius, Tork...

claim paper

Read More »

click to vote

CONCUR
1997
Springer

123views Distributed And Parallel Com...» more CONCUR 1997»

Probabilistic Concurrent Constraint Programming

15 years 1 months ago

Download www-cs-students.stanford.edu

Abstract. We extend cc to allow the speciﬁcation of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

claim paper

Read More »

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

15 years 1 months ago

Download www.cs.unipr.it

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi

claim paper

Read More »

click to vote

ENTCS
2007

91views more ENTCS 2007»

Stochastic Concurrent Constraint Programming and Differential Equations

14 years 9 months ago

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

click to vote

CORR
2002
Springer

96views Education» more CORR 2002»

Soft Concurrent Constraint Programming

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers