Search Sciweavers | Sciweavers

196 search results - page 5 / 40

» concurrency 1998

115

click to vote

LICS
1998
IEEE

95views Automated Reasoning» more LICS 1998»

A Theory of Recursive Domains with Applications to Concurrency

15 years 8 months ago

Download www.brics.dk

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

claim paper

Read More »

105

Voted

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 8 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

click to vote

CONCUR
1998
Springer

90views Distributed And Parallel Com...» more CONCUR 1998»

Detecting Deadlocks in Concurrent Systems

15 years 8 months ago

Download www.brics.dk

Lisbeth Fajstrup, Eric Goubault, Martin Rauß...

claim paper

Read More »

Voted

COOTS
1998

72views Programming Languages» more COOTS 1998»

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java

15 years 5 months ago

Download www.usenix.org

Christopher Colby, Lalita Jategaonkar Jagadeesan, ...

claim paper

Read More »

114

click to vote

PROLAMAT
1998

116views Human Computer Interaction» more PROLAMAT 1998»

Database Support for Concurrent Digital Mock-up

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers