Concurrent Object-Oriented Programs: From Specification to Code. Sekerinski, E. In Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pages 403–423, 2002.
Paper doi bibtex @inproceedings{DBLP:conf/fmco/Sekerinski02,
author = {Emil Sekerinski},
title = {Concurrent Object-Oriented Programs: From Specification to Code},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
pages = {403--423},
year = {2002},
crossref = {DBLP:conf/fmco/2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_17},
doi = {10.1007/978-3-540-39656-7\_17},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/bib/conf/fmco/Sekerinski02},
bibsource = {dblp computer science bibliography, https://dblp.org}
}