Abstract
The aim of this chapter is to present a set of compact transition rules (transition rules without side conditions) for the monadic version of the fusion calculus (update calculus). These transition rules are expressed using the quantifier ∀ and the freshness quantifier. Using some results presented in the second chapter of this book, we are able to compare the new semantics of the monadic fusion calculus with its related known semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Alexandru, A., Ciobanu, G. (2016). Process Calculi in Finitely Supported Mathematics. In: Finitely Supported Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-42282-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-42282-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42281-7
Online ISBN: 978-3-319-42282-4
eBook Packages: Computer ScienceComputer Science (R0)