@techreport{Sekerinski96ControlProgramWeakestPreconditions,
	type = {{TUCS} {Technical} {Report}},
	title = {Deriving {Control} {Programs} by {Weakest} {Preconditions}},
	url = {http://tucs.fi/publications/view/?pub_id=tSekerinski96},
	abstract = {A control program is understood as a reactive component that maintains a continuous interaction with its environment. A formal criterion for the correctness of a control program is given. This criterion can be applied in reverse for deriving a control program from properties of the whole control system. This is illustrated by an example of two conveyor belts. The formal reasoning is based on the weakest precondition calculus. Action systems are used for modelling the control system.},
	number = {4},
	institution = {Turku Centre for Computer Science},
	author = {Sekerinski, Emil},
	month = apr,
	year = {1996},
	pages = {21},
}

{"_id":"nB2ZEF8douyak8hbp","bibbaseid":"sekerinski-derivingcontrolprogramsbyweakestpreconditions-1996","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"techreport","type":"TUCS Technical Report","title":"Deriving Control Programs by Weakest Preconditions","url":"http://tucs.fi/publications/view/?pub_id=tSekerinski96","abstract":"A control program is understood as a reactive component that maintains a continuous interaction with its environment. A formal criterion for the correctness of a control program is given. This criterion can be applied in reverse for deriving a control program from properties of the whole control system. This is illustrated by an example of two conveyor belts. The formal reasoning is based on the weakest precondition calculus. Action systems are used for modelling the control system.","number":"4","institution":"Turku Centre for Computer Science","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"April","year":"1996","pages":"21","bibtex":"@techreport{Sekerinski96ControlProgramWeakestPreconditions,\n\ttype = {{TUCS} {Technical} {Report}},\n\ttitle = {Deriving {Control} {Programs} by {Weakest} {Preconditions}},\n\turl = {http://tucs.fi/publications/view/?pub_id=tSekerinski96},\n\tabstract = {A control program is understood as a reactive component that maintains a continuous interaction with its environment. A formal criterion for the correctness of a control program is given. This criterion can be applied in reverse for deriving a control program from properties of the whole control system. This is illustrated by an example of two conveyor belts. The formal reasoning is based on the weakest precondition calculus. Action systems are used for modelling the control system.},\n\tnumber = {4},\n\tinstitution = {Turku Centre for Computer Science},\n\tauthor = {Sekerinski, Emil},\n\tmonth = apr,\n\tyear = {1996},\n\tpages = {21},\n}\n\n","author_short":["Sekerinski, E."],"key":"Sekerinski96ControlProgramWeakestPreconditions","id":"Sekerinski96ControlProgramWeakestPreconditions","bibbaseid":"sekerinski-derivingcontrolprogramsbyweakestpreconditions-1996","role":"author","urls":{"Paper":"http://tucs.fi/publications/view/?pub_id=tSekerinski96"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["deriving","control","programs","weakest","preconditions","sekerinski"],"title":"Deriving Control Programs by Weakest Preconditions","year":1996}