Sign in
A Simple Approach to Specifying Concurrent Systems.
Leslie Lamport
Published in:
Commun. ACM (1989)
Keyphrases
</>
concurrent systems
temporal logic
database
databases
distributed systems
process algebra
real time
artificial intelligence
artificial neural networks
model checking