A Theory of Prioritising Composition. Sekerinski, E. & Sere, K. Technical Report 5, Turku Centre for Computer Science, May, 1996. Paper abstract bibtex An operator for the composition of two processes, where one process has priority over the other process, is studied. Processes are described by action systems, and data refinement is used for transforming processes. The operator is shown to be compositional, i.e. monotonic with respect to refinement. It is argued that this operator is adequate for modelling priorities as found in programming languages and operating systems. Rules for introducing priorities and for raising and lowering priorities of processes are given. Dynamic priorities are modelled with special priority variables which can be freely mixed with other variables and the prioritising operator in program development. A number of applications show the use of prioritising composition for modelling and specification in general.
@techreport{SekerinskiSere96PrioritisingCompositionReport,
type = {{TUCS} {Technical} {Report}},
title = {A {Theory} of {Prioritising} {Composition}},
url = {https://tucs.fi/publications/view/?pub_id=tSS96},
abstract = {An operator for the composition of two processes, where one process has priority over the other process, is studied. Processes are described by action systems, and data refinement is used for transforming processes. The operator is shown to be compositional, i.e. monotonic with respect to refinement. It is argued that this operator is adequate for modelling priorities as found in programming languages and operating systems. Rules for introducing priorities and for raising and lowering priorities of processes are given. Dynamic priorities are modelled with special priority variables which can be freely mixed with other variables and the prioritising operator in program development. A number of applications show the use of prioritising composition for modelling and specification in general.},
number = {5},
institution = {Turku Centre for Computer Science},
author = {Sekerinski, Emil and Sere, Kaisa},
month = may,
year = {1996},
pages = {23},
}
Downloads: 0
{"_id":"khNgFTTXLy4caeDxo","bibbaseid":"sekerinski-sere-atheoryofprioritisingcomposition-1996","author_short":["Sekerinski, E.","Sere, K."],"bibdata":{"bibtype":"techreport","type":"TUCS Technical Report","title":"A Theory of Prioritising Composition","url":"https://tucs.fi/publications/view/?pub_id=tSS96","abstract":"An operator for the composition of two processes, where one process has priority over the other process, is studied. Processes are described by action systems, and data refinement is used for transforming processes. The operator is shown to be compositional, i.e. monotonic with respect to refinement. It is argued that this operator is adequate for modelling priorities as found in programming languages and operating systems. Rules for introducing priorities and for raising and lowering priorities of processes are given. Dynamic priorities are modelled with special priority variables which can be freely mixed with other variables and the prioritising operator in program development. A number of applications show the use of prioritising composition for modelling and specification in general.","number":"5","institution":"Turku Centre for Computer Science","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"month":"May","year":"1996","pages":"23","bibtex":"@techreport{SekerinskiSere96PrioritisingCompositionReport,\n\ttype = {{TUCS} {Technical} {Report}},\n\ttitle = {A {Theory} of {Prioritising} {Composition}},\n\turl = {https://tucs.fi/publications/view/?pub_id=tSS96},\n\tabstract = {An operator for the composition of two processes, where one process has priority over the other process, is studied. Processes are described by action systems, and data refinement is used for transforming processes. The operator is shown to be compositional, i.e. monotonic with respect to refinement. It is argued that this operator is adequate for modelling priorities as found in programming languages and operating systems. Rules for introducing priorities and for raising and lowering priorities of processes are given. Dynamic priorities are modelled with special priority variables which can be freely mixed with other variables and the prioritising operator in program development. A number of applications show the use of prioritising composition for modelling and specification in general.},\n\tnumber = {5},\n\tinstitution = {Turku Centre for Computer Science},\n\tauthor = {Sekerinski, Emil and Sere, Kaisa},\n\tmonth = may,\n\tyear = {1996},\n\tpages = {23},\n}\n\n","author_short":["Sekerinski, E.","Sere, K."],"key":"SekerinskiSere96PrioritisingCompositionReport","id":"SekerinskiSere96PrioritisingCompositionReport","bibbaseid":"sekerinski-sere-atheoryofprioritisingcomposition-1996","role":"author","urls":{"Paper":"https://tucs.fi/publications/view/?pub_id=tSS96"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["theory","prioritising","composition","sekerinski","sere"],"title":"A Theory of Prioritising Composition","year":1996}