Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Paola InverardiCorrado PriamiDaniel YankelevichPublished in: Formal Aspects Comput. (1994)
Keyphrases
- concurrent systems
- distributed systems
- process algebra
- temporal logic
- distributed environment
- fault tolerant
- formal specification
- petri net
- distributed constraint satisfaction
- reasoning systems
- spatial reasoning
- multi agent
- computer networks
- model checking
- distributed data
- cooperative
- knowledge base
- transition systems
- communication cost
- knowledge representation
- mobile agents
- description logics
- reasoning tasks
- artificial intelligence