Sciweavers

1550 search results - page 24 / 310

» Erlang for Concurrent Programming

122

SIGADA
2001
Springer

104views Programming Languages» more SIGADA 2001»

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

15 years 9 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 »

97

Voted

SIGADA
1998
Springer

76views Programming Languages» more SIGADA 1998»

A Comparison of the Concurrency Features of Ada 95 and Java

15 years 9 months ago

A Comparison of the Concurrency Features of Ada 95 and Java

Download deptinfo.cnam.fr

Benjamin M. Brosgol

claim paper

Read More »

104

HOPL
1993

93views Programming Languages» more HOPL 1993»

Monitors and Concurrent Pascal: A Personal History

15 years 9 months ago

Monitors and Concurrent Pascal: A Personal History

Download brinch-hansen.net

Per Brinch Hansen

claim paper

Read More »

112

PPCP
1993

95views Programming Languages» more PPCP 1993»

Set-based Concurrent Engineering

15 years 9 months ago

Set-based Concurrent Engineering

Download www.srl.gatech.edu

Allen C. Ward

claim paper

Read More »

124

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 9 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 »