A process Algebra Approach to Fuzzy Reasoning.
Liliana D'ErricoMichele LoretiPublished in: IFSA/EUSFLAT Conf. (2009)
Keyphrases
- fuzzy reasoning
- process algebra
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- communication protocols
- web services composition
- fuzzy logic
- petri net
- concurrent programs
- fuzzy sets
- temporal logic
- fuzzy rules
- membership functions
- fuzzy petri net
- fuzzy inference
- grid workflow
- distributed systems
- formal languages
- reverse engineering
- web service composition
- fuzzy control
- neural network
- fuzzy model
- rule base
- artificial neural networks
- genetic algorithm
- fuzzy systems
- input output
- pattern recognition
- case study
- web services