Sciweavers

3307 search results - page 18 / 662

» The meaning of concurrent programs

27

SIGADA
2001
Springer

104views Programming Languages» more SIGADA 2001»

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

14 years 2 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 »

19

SIGADA
1998
Springer

76views Programming Languages» more SIGADA 1998»

A Comparison of the Concurrency Features of Ada 95 and Java

14 years 2 months ago

A Comparison of the Concurrency Features of Ada 95 and Java

Download deptinfo.cnam.fr

Benjamin M. Brosgol

claim paper

Read More »

26

HOPL
1993

93views Programming Languages» more HOPL 1993»

Monitors and Concurrent Pascal: A Personal History

14 years 1 months ago

Monitors and Concurrent Pascal: A Personal History

Download brinch-hansen.net

Per Brinch Hansen

claim paper

Read More »

22

PPCP
1993

95views Programming Languages» more PPCP 1993»

Set-based Concurrent Engineering

14 years 1 months ago

Set-based Concurrent Engineering

Download www.srl.gatech.edu

Allen C. Ward

claim paper

Read More »

27

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

14 years 1 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 18 / 662 Last » Next »