Abstract
Multirelations are studied as a semantic domain for computing systems involving two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and Peleg’s compositions and liftings of multirelations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer (1998)
Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation. J. ACM 28(1), 114–133 (1981)
Freyd, P., Scedrov, A.: Categories, allegories. North-Holland, Amsterdam (1990)
Furusawa, H., Kawahara, Y.: Point axioms and related conditions in Dedekind categories. J. Log. Algebr. Meth. Program 84(3), 359–376 (2015)
Furusawa, H., Struth, G.: Concurrent Dynamic Algebra. ACM Transactions on Computational Logic (in Press)
Furusawa, H., Struth, G.: Taming Multirelations. CoRR abs/1501.05147 (2015)
Goldblatt, R.: Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Studia Logica 51(3/4), 551–578 (1992)
Mac Lane, S.: Categories for the working mathematician. Springer (1971)
Martin, C.E., Curtis, S.A.: The algebra of multirelations. Mathematical Structures in Computer Science 23(3), 635–674 (2013)
Olivier, J.-P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C. R. Acad. Sci. Paris 260, 939–941 (1980)
Parikh, R.: Propositional Game Logic. In: FOCS 1983, pp. 195–200. IEEE Computer Society (1983)
Peleg, D.: Communication in Concurrent Dynamic Logic. J. Comput. Syst. Sci. 35(1), 23–58 (1987)
Peleg, D.: Concurrent dynamic logic. J. ACM 34(2), 450–479 (1987)
Schmidt, G.: Relational Mathematics. Encyclopedia of Mathematics and its Applications, vol. 132. Cambridge University Press (2011)
Tsumagari, N.: Probability meets Non-Probability via Complete IL-Semi-rings. Ph.D. Thesis, Graduate School of Science and Engineering, Kagoshima University, Japan (2012)
van Benthem, J., Ghosh, S., Liu, F.: Modelling simultaneous games in dynamic logic. Synthese 165(2), 247–268 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Furusawa, H., Kawahara, Y., Struth, G., Tsumagari, N. (2015). Relational Formalisations of Compositions and Liftings of Multirelations. In: Kahl, W., Winter, M., Oliveira, J. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2015. Lecture Notes in Computer Science(), vol 9348. Springer, Cham. https://doi.org/10.1007/978-3-319-24704-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-24704-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24703-8
Online ISBN: 978-3-319-24704-5
eBook Packages: Computer ScienceComputer Science (R0)