Foundations of Modular SOS
AbstractA novel form of labelled transition system is proposed, where
the labels are the arrows of a category, and adjacent labels in computations
are required to be composable. Such transition systems provide the
foundations for modular SOS descriptions of programming languages.
Three fundamental ways of transforming label categories, analogous to
monad transformers, are provided, and it is shown that their applications
preserve computations in modular SOS. The approach is illustrated with
fragments taken from a modular SOS for ML concurrency primitives.
How to Cite
Mosses, P. D. (1999). Foundations of Modular SOS. BRICS Report Series, 6(54). https://doi.org/10.7146/brics.v6i54.20124
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.