Login / Signup

Reaction Systems, Transition Systems, and Equivalences.

Jetty KleijnMaciej KoutnyLukasz MikulskiGrzegorz Rozenberg
Published in: Adventures Between Lower Bounds and Higher Altitudes (2018)
Keyphrases
  • distributed systems
  • search algorithm
  • expert systems
  • domain specific
  • model checking
  • transition systems
  • web services
  • search space
  • linear programming
  • markov chain
  • reactive systems
  • concurrent systems