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 3 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 3 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 3 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 11 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers