On an Invariance Problem for Parameterized Concurrent Systems.
Marius BozgaLucas BueriRadu IosifPublished in: CONCUR (2022)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- petri net
- transition systems
- model checking
- formal specification
- discriminative power
- view invariant action recognition
- invariant features
- data sets
- computer vision
- artificial intelligence
- scale invariance
- invariant properties
- information retrieval
- neural network
- fuzzy petri net
- database