@article{Sekerinski05ConcurrentObjects,
	title = {Verification and {Refinement} with {Fine}-{Grained} {Action}-{Based} {Concurrent} {Objects}},
	volume = {331},
	doi = {10.1016/j.tcs.2004.09.024},
	abstract = {Action-based concurrent object-oriented programs express autonomous behavior of objects through actions that, like methods, are attached to objects but, in contrast to methods, may execute autonomously whenever their guard is true. The promise is a streamlining of the program structure by eliminating the distinction between processes and objects and a streamlining of correctness arguments. In this paper we illustrate the use of action-based object-oriented programs and study their verification and their refinement from specifications, including the issue of non-atomic operations.},
	number = {2–3},
	journal = {Theoretical Computer Science},
	author = {Sekerinski, Emil},
	month = feb,
	year = {2005},
	pages = {429--455},
}

{"_id":"RhRk7a6qigQ6qKAKH","bibbaseid":"sekerinski-verificationandrefinementwithfinegrainedactionbasedconcurrentobjects-2005","downloads":1,"creationDate":"2019-02-02T15:48:53.592Z","title":"Verification and Refinement with Fine-Grained Action-Based Concurrent Objects","author_short":["Sekerinski, E."],"year":2005,"bibtype":"article","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"article","type":"article","title":"Verification and Refinement with Fine-Grained Action-Based Concurrent Objects","volume":"331","doi":"10.1016/j.tcs.2004.09.024","abstract":"Action-based concurrent object-oriented programs express autonomous behavior of objects through actions that, like methods, are attached to objects but, in contrast to methods, may execute autonomously whenever their guard is true. The promise is a streamlining of the program structure by eliminating the distinction between processes and objects and a streamlining of correctness arguments. In this paper we illustrate the use of action-based object-oriented programs and study their verification and their refinement from specifications, including the issue of non-atomic operations.","number":"2–3","journal":"Theoretical Computer Science","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"February","year":"2005","pages":"429–455","bibtex":"@article{Sekerinski05ConcurrentObjects,\n\ttitle = {Verification and {Refinement} with {Fine}-{Grained} {Action}-{Based} {Concurrent} {Objects}},\n\tvolume = {331},\n\tdoi = {10.1016/j.tcs.2004.09.024},\n\tabstract = {Action-based concurrent object-oriented programs express autonomous behavior of objects through actions that, like methods, are attached to objects but, in contrast to methods, may execute autonomously whenever their guard is true. The promise is a streamlining of the program structure by eliminating the distinction between processes and objects and a streamlining of correctness arguments. In this paper we illustrate the use of action-based object-oriented programs and study their verification and their refinement from specifications, including the issue of non-atomic operations.},\n\tnumber = {2–3},\n\tjournal = {Theoretical Computer Science},\n\tauthor = {Sekerinski, Emil},\n\tmonth = feb,\n\tyear = {2005},\n\tpages = {429--455},\n}\n\n","author_short":["Sekerinski, E."],"key":"Sekerinski05ConcurrentObjects","id":"Sekerinski05ConcurrentObjects","bibbaseid":"sekerinski-verificationandrefinementwithfinegrainedactionbasedconcurrentobjects-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["verification","refinement","fine","grained","action","based","concurrent","objects","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}