Title :
Nominal Semantics of the pi I-calculus
Author :
Alexandru, Andrei ; Ciobanu, Gabriel
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
Abstract :
We present a new semantics of the πI-calculus, namely the nominal semantics. A set of compact transition rules is given in terms of nominal logic by using a nominal quantifier. We prove an equivalence between the new nominal semantics and the original semantics of the πI-calculus provided by Sangiorgi, emphasizing the benefits of presenting the transition rules by using the nominal techniques.
Keywords :
pi calculus; compact transition rules; nominal logic; nominal quantifier; nominal semantics; pi I-calculus; Calculus; Computational modeling; Computers; Finite element methods; Frequency modulation; Semantics; Set theory; nominal semantics; piI-calculus;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4673-0207-4
DOI :
10.1109/SYNASC.2011.19
