Sciweavers

15 search results - page 1 / 3
» concur 1998
Sort
View
CONCUR
1998
Springer
13 years 10 months ago
Reduction in TLA
Ernie Cohen, Leslie Lamport
CONCUR
1998
Springer
13 years 10 months ago
Controllers for Discrete Event Systems via Morphisms
P. Madhusudan, P. S. Thiagarajan
CONCUR
1998
Springer
13 years 10 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...