Distributed Systems

• Predicate Detection (Distributed Debugging) ------ (Description)
  survey/invited , conjunctive predicates , relational predicates , linear predicates , channel predicates , control flow predicates , temporal logic , definitely true ,
• Computation Slicing ------ (Description)
• Fault Tolerance, Distributed Recovery ------ (Description)
  controlled reexecution , message logging, self-stabilizing systems,
• Distributed Algorithms ------ (Description)
  Vector Clocks , Distributed Simulation , Consistency Conditions , Global Functions , Mobile Computing
• Control of Distributed Computations
• Specification and Analysis of Distributed Systems

Discrete Event Systems

• Controllability : Language-based Approaches
• Stability and Stabilizability
• State Variable Approach
• Controllability of infinitary behavior
• Max-Plus Algebraic Approaches
• Probabilistic Systems
• Real-time Systems

Software Engineering

• Reusability
• Requirement Specification

Formal Models

• Petri Nets
• Max-Plus Algebra
• Lattice Theory