@techreport{ButlerSekerinskiSere95SteamBoiler,
	type = {{TUCS} {Technical} {Report}},
	title = {An {Action} {System} {Approach} to the {Steam} {Boiler} {Problem}},
	url = {http://tucs.fi/publications/view/?pub_id=tBuSeSe95},
	abstract = {This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development. An important aim of this paper is to produce an action system specification of the Steam Boiler problem.},
	institution = {Turku Centre for Computer Science},
	author = {Butler, Michael and Sekerinski, Emil and Sere, Kaisa},
	year = {1995},
	pages = {29},
}

{"_id":"czcZ7YdCHiKG4QWoZ","bibbaseid":"butler-sekerinski-sere-anactionsystemapproachtothesteamboilerproblem-1995","downloads":1,"creationDate":"2019-02-02T15:48:53.610Z","title":"An Action System Approach to the Steam Boiler Problem","author_short":["Butler, M.","Sekerinski, E.","Sere, K."],"year":1995,"bibtype":"techreport","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"techreport","type":"TUCS Technical Report","title":"An Action System Approach to the Steam Boiler Problem","url":"http://tucs.fi/publications/view/?pub_id=tBuSeSe95","abstract":"This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development. An important aim of this paper is to produce an action system specification of the Steam Boiler problem.","institution":"Turku Centre for Computer Science","author":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"year":"1995","pages":"29","bibtex":"@techreport{ButlerSekerinskiSere95SteamBoiler,\n\ttype = {{TUCS} {Technical} {Report}},\n\ttitle = {An {Action} {System} {Approach} to the {Steam} {Boiler} {Problem}},\n\turl = {http://tucs.fi/publications/view/?pub_id=tBuSeSe95},\n\tabstract = {This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development. An important aim of this paper is to produce an action system specification of the Steam Boiler problem.},\n\tinstitution = {Turku Centre for Computer Science},\n\tauthor = {Butler, Michael and Sekerinski, Emil and Sere, Kaisa},\n\tyear = {1995},\n\tpages = {29},\n}\n\n","author_short":["Butler, M.","Sekerinski, E.","Sere, K."],"key":"ButlerSekerinskiSere95SteamBoiler","id":"ButlerSekerinskiSere95SteamBoiler","bibbaseid":"butler-sekerinski-sere-anactionsystemapproachtothesteamboilerproblem-1995","role":"author","urls":{"Paper":"http://tucs.fi/publications/view/?pub_id=tBuSeSe95"},"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["action","system","approach","steam","boiler","problem","butler","sekerinski","sere"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}