Ubiquity in Category for Metric Spaces and Transition Systems.
Maurice PouzetBernard RouxPublished in: Eur. J. Comb. (1996)
Keyphrases
- metric space
- transition systems
- model checking
- concurrent systems
- similarity search
- temporal logic
- distance function
- practical reasoning
- similarity queries
- finite state
- searching in metric spaces
- control flow
- high dimensional
- range queries
- partially ordered sets
- probability measures
- multidimensional index
- reactive systems
- point sets
- model checker
- distributed systems
- dimensional vector
- formal specification
- vector space
- database management systems
- formal verification
- data sets
- database