Non-regular Process Types

  title={Non-regular Process Types},
  author={Franz Puntigam},
Process types specify sequences of acceptable messages. Even if the set of acceptable messages changes dynamically, a type checker can statically ensure that only acceptable messages are sent. As proposed so far, all message sequence sets speciied by types can be generated by regular grammars. We propose to increase the expressiveness so that non-regular… CONTINUE READING