@Article{         SulzmannThiemann,
  Author        = "Sulzmann, Martin and Thiemann, Peter",
  Abstract      = "We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel compositional semantics for forkable expressions, establish their fundamental properties, and define derivatives for them as a basis for the generation of automata, for matching, and for language containment tests. Forkable expressions may give rise to non-regular languages, in general, but we identify sufficient conditions on expressions that guarantee finiteness of the automata construction via derivatives.",
  date-added    = "2017-01-10 15:14:11 +0000",
  date-modified = "2017-01-10 15:14:11 +0000",
  EPrint        = "1510.07293",
  Month         = "10",
  Title         = "Forkable Regular Expressions",
  URL           = "https://arxiv.org/abs/1510.07293",
  Year          = "2015",
  bdsk-url-1    = "https://arxiv.org/abs/1510.07293",
  File          = "Forkable Regular Expressions - Sulzmann, Thiemann (0) (0) - a - a - m.pdf",
  file-2        = "Forkable Regular Expressions - Sulzmann, Thiemann (1) (0) - a - a - m.pdf"
}

@Article{ SulzmannThiemann, Author = "Sulzmann, Martin and Thiemann, Peter", Abstract = "We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel compositional semantics for forkable expressions, establish their fundamental properties, and define derivatives for them as a basis for the generation of automata, for matching, and for language containment tests. Forkable expressions may give rise to non-regular languages, in general, but we identify sufficient conditions on expressions that guarantee finiteness of the automata construction via derivatives.", date-added = "2017-01-10 15:14:11 +0000", date-modified = "2017-01-10 15:14:11 +0000", EPrint = "1510.07293", Month = "10", Title = "Forkable Regular Expressions", URL = "https://arxiv.org/abs/1510.07293", Year = "2015", bdsk-url-1 = "https://arxiv.org/abs/1510.07293", File = "Forkable Regular Expressions - Sulzmann, Thiemann (0) (0) - a - a - m.pdf", file-2 = "Forkable Regular Expressions - Sulzmann, Thiemann (1) (0) - a - a - m.pdf" }