publications:
- title: "Abstract topology analysis of the join phase of the merge protocol (using Astra)"
  author:
  - name: "Peter Backes"
    link: "http://"
  - name: "Jan Reineke"
    link: "https://researchr.org/alias/jan-reineke"
  year: "2010"
  abstract: "We present a partial solution to the TTC2010 topology analysis case study. We pick a small part of the merge protocol, namely the part where cars join a leader to form a platoon. Using abstract interpretation, we compute an approximation of the arising topologies, without limiting the number of cars."
  tags:
  - "case study"
  - "protocol"
  - "analysis"
  researchr: "https://researchr.org/publication/and-Jan-Reineke%3ATTC%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Transformation Tool Contest"
  editor:
  - name: "Pieter Van Gorp"
    link: "http://www.pietervangorp.com/"
  - name: "Steffen Mazanek"
    link: "https://researchr.org/alias/steffen-mazanek"
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  address: "Malaga"
  kind: "inproceedings"
  key: "and-Jan-Reineke:TTC:2010"