Login / Signup
Problems from the Workshop on the Analysis of Concurrent Systems.
Leslie Lamport
Published in:
The Analysis of Concurrent Systems (1983)
Keyphrases
</>
concurrent systems
statistical analysis
problems involving
database
data mining
reinforcement learning
data analysis
source code
temporal logic
selected papers