Sciweavers

2466 search results - page 12 / 494

» Concurrent Clustered Programming

121

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 »

133

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 »

144

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 »

162

PSC
1992

130views Programming Languages» more PSC 1992»

Design of a Concurrent and Distributed Language

15 years 10 months ago

Design of a Concurrent and Distributed Language

Download pagesperso-systeme.lip6.fr

Christian Queinnec, David De Roure

claim paper

Read More »

127

Voted

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 9 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

« Prev « First page 12 / 494 Last » Next »