On the topology of concurrent systems.

Catarina Faustino Thomas Kahl Rodrigo Lopes

Published in: CoRR (2024)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
model checking
transition systems
formal specification
databases
decision trees
topology preserving
data mining
information retrieval
topological properties