Liliana D'Errico

Learn More
— Fuzzy systems address the imprecision of the input and output variables, which formally describe notions like " rather warm " or " pretty cold " , while provide a behaviour that depends on fuzzy data. This class of systems are classically represented by means of Fuzzy Inference Systems (FIS), a computing framework based on the concepts of fuzzy if-then(More)
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification of concurrent systems within the process algebraic approach can be performed by checking that processes enjoy properties described by some temporal logic's formulae. In this paper(More)
  • 1