Title :
Nominal Fusion Calculus
Author :
Alexandru, Andrei ; Ciobanu, Gabriel
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
Abstract :
We present a nominal semantics of the monadic version of the fusion calculus. A set of compact transition rules is given in terms of nominal logic by using a specific nominal quantifier. Based on known and new results in nominal logic, it is proved an equivalence between the new nominal semantics and the old (original) semantics of the monadic fusion calculus, emphasizing the benefits of presenting the transition rules by using nominal techniques.
Keywords :
calculus; formal logic; compact transition rules; monadic version; nominal fusion calculus; nominal logic; transition rules; Calculus; Computational modeling; Computer science; Frequency modulation; Semantics; Set theory; Syntactics; Fraenkel-Mostowski set theory; fusion calculus; nominal techniques;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4673-5026-6
DOI :
10.1109/SYNASC.2012.40
