@Article{         CzerwinskiLasota:Separability:WSTS:ArXiV:2017,
  Author        = "Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir",
  Abstract      = "We investigate languages recognized by well structured transition systems (WSTS) with upward (resp. downward) compatibility. We show that under mild assumptions every two disjoint WSTS languages are regular separable, i.e., there exists a regular language containing one of them and disjoint from the other. In particular, if a language, as well as its complement, are both recognized by a WSTS, then they are necessarily regular.",
  date-added    = "2017-02-27 08:32:11 +0000",
  date-modified = "2017-04-06 15:57:55 +0000",
  EPrint        = "1702.05334",
  Keywords      = "citesme!",
  Month         = "02",
  Title         = "Regular Separability of Well Structured Transition Systems",
  URL           = "https://arxiv.org/abs/1702.05334",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1702.05334",
  File          = "1702.05334v3 (0) - a - a - j.pdf",
  file-2        = "1702.05334 (0) - a - a - j.pdf"
}

@Article{ CzerwinskiLasota:Separability:WSTS:ArXiV:2017, Author = "Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir", Abstract = "We investigate languages recognized by well structured transition systems (WSTS) with upward (resp. downward) compatibility. We show that under mild assumptions every two disjoint WSTS languages are regular separable, i.e., there exists a regular language containing one of them and disjoint from the other. In particular, if a language, as well as its complement, are both recognized by a WSTS, then they are necessarily regular.", date-added = "2017-02-27 08:32:11 +0000", date-modified = "2017-04-06 15:57:55 +0000", EPrint = "1702.05334", Keywords = "citesme!", Month = "02", Title = "Regular Separability of Well Structured Transition Systems", URL = "https://arxiv.org/abs/1702.05334", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1702.05334", File = "1702.05334v3 (0) - a - a - j.pdf", file-2 = "1702.05334 (0) - a - a - j.pdf" }