Sciweavers

1550 search results - page 24 / 310

» Erlang for Concurrent Programming

164

Voted

SIGADA
2001
Springer

104views Programming Languages» more SIGADA 2001»

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

15 years 12 months ago

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

Download www.sigada.org

Zhengqiang Chen, Baowen Xu, Huiming Yu

claim paper

Read More »

128

SIGADA
1998
Springer

76views Programming Languages» more SIGADA 1998»

A Comparison of the Concurrency Features of Ada 95 and Java

15 years 11 months ago

A Comparison of the Concurrency Features of Ada 95 and Java

Download deptinfo.cnam.fr

Benjamin M. Brosgol

claim paper

Read More »

145

Voted

HOPL
1993

93views Programming Languages» more HOPL 1993»

Monitors and Concurrent Pascal: A Personal History

15 years 11 months ago

Monitors and Concurrent Pascal: A Personal History

Download brinch-hansen.net

Per Brinch Hansen

claim paper

Read More »

155

Voted

PPCP
1993

95views Programming Languages» more PPCP 1993»

Set-based Concurrent Engineering

15 years 11 months ago

Set-based Concurrent Engineering

Download www.srl.gatech.edu

Allen C. Ward

claim paper

Read More »

179

Voted

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

15 years 11 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

« Prev « First page 24 / 310 Last » Next »