Sciweavers

196 search results - page 5 / 40
» concurrency 1998
Sort
View
LICS
1998
IEEE
14 years 3 months ago
A Theory of Recursive Domains with Applications to Concurrency
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
PODC
1998
ACM
14 years 3 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson
CONCUR
1998
Springer
14 years 3 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...
COOTS
1998
14 years 6 days ago
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...
PROLAMAT
1998
14 years 6 days ago
Database Support for Concurrent Digital Mock-up
Stefan Berchtold, Hans-Peter Kriegel, Marco Pö...