Abstractions, semantic models and analysis tools for concurrent systems: progress and open problems - (extended abstract)

By Gul Agha. In Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, volume 9763 of Lecture Notes in Computer Science, 3–8. Springer, 2016.

DOI:

10.1007/978-3-319-41591-8_1

Publisher Link:

https://doi.org/10.1007/978-3-319-41591-8_1

BibTeX

@inproceedings{conf/sefm/Agha16,
    author = "Agha, Gul",
    editor = "Nicola, Rocco De and eva K{\"{u}}hn",
    title = "Abstractions, Semantic Models and Analysis Tools for
             Concurrent Systems: Progress and Open Problems - (Extended
             Abstract)",
    biburl = "https://dblp.org/rec/bib/conf/sefm/Agha16",
    booktitle = "Software Engineering and Formal Methods - 14th
                 International Conference, {SEFM} 2016, Held as Part of {STAF}
                 2016, Vienna, Austria, July 4-8, 2016, Proceedings",
    crossref = "conf/sefm/2016",
    doi = "10.1007/978-3-319-41591-8\_1",
    pages = "3--8",
    timestamp = "Thu, 15 Jun 2017 01:00:00 +0200",
    url = "https://doi.org/10.1007/978-3-319-41591-8\_1",
    year = "2016",
}

@proceedings{conf/sefm/2016,
    editor = "Nicola, Rocco De and eva K{\"{u}}hn",
    title = "Software Engineering and Formal Methods - 14th
             International Conference, {SEFM} 2016, Held as Part of {STAF}
             2016, Vienna, Austria, July 4-8, 2016, Proceedings",
    biburl = "https://dblp.org/rec/bib/conf/sefm/2016",
    doi = "10.1007/978-3-319-41591-8",
    isbn = "978-3-319-41590-1",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    timestamp = "Sun, 21 May 2017 00:18:56 +0200",
    url = "https://doi.org/10.1007/978-3-319-41591-8",
    volume = "9763",
    year = "2016",
}