Sign in

TLA in Pictures.

Leslie Lamport
Published in: Specification of Parallel Algorithms (1994)
Keyphrases
  • temporal logic
  • mobile devices
  • digital photographs
  • digital pictures
  • database
  • data sets
  • image processing
  • wide range
  • relational databases
  • multiresolution
  • multi class
  • raster images