publications:
- title: "Using Abstract State Machines at Microsoft: A Case Study"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Egon Börger"
    link: "http://www.di.unipi.it/~boerger/"
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1912/19120367.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1912/19120367.htm"
  tags:
  - "case study"
  - "state machines"
  - "abstract machine"
  researchr: "https://researchr.org/publication/BarnettBGSV00"
  cites: 0
  citedby: 0
  pages: "367-379"
  booktitle: "asmta"
  kind: "inproceedings"
  key: "BarnettBGSV00"
- title: "Investigating Java Concurrency Using Abstract State Machines"
  author:
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Charles Wallace"
    link: "https://researchr.org/alias/charles-wallace"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1912/19120151.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1912/19120151.htm"
  tags:
  - "Java"
  - "state machines"
  - "abstract machine"
  researchr: "https://researchr.org/publication/GurevichSW00"
  cites: 0
  citedby: 0
  pages: "151-176"
  booktitle: "asmta"
  kind: "inproceedings"
  key: "GurevichSW00"
- title: "Generating finite state machines from abstract state machines"
  author:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/566172.566190"
  links:
    doi: "http://doi.acm.org/10.1145/566172.566190"
  tags:
  - "state machines"
  - "abstract machine"
  researchr: "https://researchr.org/publication/GrieskampGSV02"
  cites: 0
  citedby: 0
  pages: "112-122"
  booktitle: "ISSTA"
  kind: "inproceedings"
  key: "GrieskampGSV02"
- title: "Semantic Essence of AsmL"
  author:
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Benjamin Rossman"
    link: "https://researchr.org/alias/benjamin-rossman"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=240"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=240"
  researchr: "https://researchr.org/publication/GurevichRS03"
  cites: 0
  citedby: 0
  pages: "240-259"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "GurevichRS03"
- title: "Semantic essence of AsmL"
  author:
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Benjamin Rossman"
    link: "https://researchr.org/alias/benjamin-rossman"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.017"
  researchr: "https://researchr.org/publication/GurevichRS05"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "343"
  number: "3"
  pages: "370-412"
  kind: "article"
  key: "GurevichRS05"