Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.
J. W. de BakkerJohn-Jules Ch. MeyerErnst-Rüdiger OlderogJeffery I. ZuckerPublished in: J. Comput. Syst. Sci. (1988)
Keyphrases
- metric space
- transition systems
- control flow
- similarity search
- data flow
- model checking
- distance function
- temporal logic
- similarity queries
- concurrent systems
- dimensional vector
- high dimensional
- formal semantics
- range queries
- partially ordered sets
- multidimensional index
- searching in metric spaces
- database systems
- finite state
- process model
- practical reasoning
- query processing
- databases
- vector space
- specification language
- database management systems
- nearest neighbor
- feature vectors
- pairwise
- database