@inproceedings{Sekerinski03COOP,
	address = {Leiden, The Netherlands},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Concurrent {Object}-{Oriented} {Programs}: {From} {Specification} to {Code}},
	volume = {2852},
	doi = {10.1007/978-3-540-39656-7_17},
	abstract = {In this paper we put forward a concurrent object-oriented programming language in which concurrency is tightly integrated with objects. Concurrency is expressed by extending classes with actions and allowing methods to be guarded. Concurrency in an object may be hidden to the outside, thus allowing concurrency to be introduced in subclasses of a class hierarchy. A disciplined form of intra-object concurrency is supported. The language is formally defined by translation to action systems. Inheritance and subtyping is also considered. A theory of class refinement is presented, allowing concurrent programs to be developed from sequential specifications. Our goal is to have direct rules for verification and refinement on one hand and a practical implementation on the other hand. We briefly sketch our implementation. While the implementation relies on threads, the management of threads is hidden to the programmer.},
	booktitle = {Formal {Methods} for {Components} and {Objects}, {First} {International} {Symposium}, {FMCO} 02},
	publisher = {Springer-Verlag},
	author = {Sekerinski, Emil},
	editor = {Boer, F. S. de and Bonsangue, M. and Graf, S. and Roever, W.-P. de},
	month = jul,
	year = {2003},
	pages = {403--423},
}

{"_id":"e2DkHEJCbMERZCqBS","bibbaseid":"sekerinski-concurrentobjectorientedprogramsfromspecificationtocode-2003","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Leiden, The Netherlands","series":"Lecture Notes in Computer Science","title":"Concurrent Object-Oriented Programs: From Specification to Code","volume":"2852","doi":"10.1007/978-3-540-39656-7_17","abstract":"In this paper we put forward a concurrent object-oriented programming language in which concurrency is tightly integrated with objects. Concurrency is expressed by extending classes with actions and allowing methods to be guarded. Concurrency in an object may be hidden to the outside, thus allowing concurrency to be introduced in subclasses of a class hierarchy. A disciplined form of intra-object concurrency is supported. The language is formally defined by translation to action systems. Inheritance and subtyping is also considered. A theory of class refinement is presented, allowing concurrent programs to be developed from sequential specifications. Our goal is to have direct rules for verification and refinement on one hand and a practical implementation on the other hand. We briefly sketch our implementation. While the implementation relies on threads, the management of threads is hidden to the programmer.","booktitle":"Formal Methods for Components and Objects, First International Symposium, FMCO 02","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Boer"],"firstnames":["F.","S.","de"],"suffixes":[]},{"propositions":[],"lastnames":["Bonsangue"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Graf"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Roever"],"firstnames":["W.-P.","de"],"suffixes":[]}],"month":"July","year":"2003","pages":"403–423","bibtex":"@inproceedings{Sekerinski03COOP,\n\taddress = {Leiden, The Netherlands},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Concurrent {Object}-{Oriented} {Programs}: {From} {Specification} to {Code}},\n\tvolume = {2852},\n\tdoi = {10.1007/978-3-540-39656-7_17},\n\tabstract = {In this paper we put forward a concurrent object-oriented programming language in which concurrency is tightly integrated with objects. Concurrency is expressed by extending classes with actions and allowing methods to be guarded. Concurrency in an object may be hidden to the outside, thus allowing concurrency to be introduced in subclasses of a class hierarchy. A disciplined form of intra-object concurrency is supported. The language is formally defined by translation to action systems. Inheritance and subtyping is also considered. A theory of class refinement is presented, allowing concurrent programs to be developed from sequential specifications. Our goal is to have direct rules for verification and refinement on one hand and a practical implementation on the other hand. We briefly sketch our implementation. While the implementation relies on threads, the management of threads is hidden to the programmer.},\n\tbooktitle = {Formal {Methods} for {Components} and {Objects}, {First} {International} {Symposium}, {FMCO} 02},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Boer, F. S. de and Bonsangue, M. and Graf, S. and Roever, W.-P. de},\n\tmonth = jul,\n\tyear = {2003},\n\tpages = {403--423},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Boer, F. S. d.","Bonsangue, M.","Graf, S.","Roever, W. d."],"key":"Sekerinski03COOP","id":"Sekerinski03COOP","bibbaseid":"sekerinski-concurrentobjectorientedprogramsfromspecificationtocode-2003","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["concurrent","object","oriented","programs","specification","code","sekerinski"],"title":"Concurrent Object-Oriented Programs: From Specification to Code","year":2003}