Sciweavers

2302 search results - page 11 / 461

» The Evolution of Concurrent Programs

133

Voted

SIGADA
2001
Springer

104views Programming Languages» more SIGADA 2001»

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

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

108

Voted

SIGADA
1998
Springer

76views Programming Languages» more SIGADA 1998»

A Comparison of the Concurrency Features of Ada 95 and Java

15 years 10 months ago

A Comparison of the Concurrency Features of Ada 95 and Java

Download deptinfo.cnam.fr

Benjamin M. Brosgol

claim paper

Read More »

119

Voted

HOPL
1993

93views Programming Languages» more HOPL 1993»

Monitors and Concurrent Pascal: A Personal History

15 years 10 months ago

Monitors and Concurrent Pascal: A Personal History

Download brinch-hansen.net

Per Brinch Hansen

claim paper

Read More »

131

Voted

PPCP
1993

95views Programming Languages» more PPCP 1993»

Set-based Concurrent Engineering

15 years 10 months ago

Set-based Concurrent Engineering

Download www.srl.gatech.edu

Allen C. Ward

claim paper

Read More »

136

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 10 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 11 / 461 Last » Next »