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: "Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings"
  editor:
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Philipp W. Kutter"
    link: "https://researchr.org/alias/philipp-w.-kutter"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  - name: "Lothar Thiele"
    link: "https://researchr.org/alias/lothar-thiele"
  volume: "1912"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67959-6"
  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: "Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings"
  editor:
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Philipp W. Kutter"
    link: "https://researchr.org/alias/philipp-w.-kutter"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  - name: "Lothar Thiele"
    link: "https://researchr.org/alias/lothar-thiele"
  volume: "1912"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67959-6"
  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: "Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "3188"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22942-6"
  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: "Theoretical Computer Science"
  volume: "343"
  number: "3"
  pages: "370-412"
  kind: "article"
  key: "GurevichRS05"