2466 search results - page 187 / 494 » Concurrent Clustered Programming |
134
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
113
click to vote
ICFP
1996
ACM
15 years 6 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
101
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
110
click to vote
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
106
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...