Sciweavers

2302 search results - page 11 / 461

» The Evolution of Concurrent Programs

78

SIGADA
2001
Springer

104views Programming Languages» more SIGADA 2001»

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

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

62

SIGADA
1998
Springer

76views Programming Languages» more SIGADA 1998»

A Comparison of the Concurrency Features of Ada 95 and Java

15 years 3 months ago

A Comparison of the Concurrency Features of Ada 95 and Java

Download deptinfo.cnam.fr

Benjamin M. Brosgol

claim paper

Read More »

67

HOPL
1993

93views Programming Languages» more HOPL 1993»

Monitors and Concurrent Pascal: A Personal History

15 years 3 months ago

Monitors and Concurrent Pascal: A Personal History

Download brinch-hansen.net

Per Brinch Hansen

claim paper

Read More »

73

PPCP
1993

95views Programming Languages» more PPCP 1993»

Set-based Concurrent Engineering

15 years 3 months ago

Set-based Concurrent Engineering

Download www.srl.gatech.edu

Allen C. Ward

claim paper

Read More »

74

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

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