loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Specifying Properties for Modular Pi-Calculus
June 17-June 19
ISBN: 978-0-7695-3249-3
ASCII Text
x 
 
Takashi Kitamura, Huimin Lin, "Specifying Properties for Modular Pi-Calculus," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 201-208, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2008.36,
author = {Takashi Kitamura and Huimin Lin},
title = {Specifying Properties for Modular Pi-Calculus},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3249-3},
pages = {201-208},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.36},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - Specifying Properties for Modular Pi-Calculus
SN - 978-0-7695-3249-3
SP201
EP208
A1 - Takashi Kitamura,
A1 - Huimin Lin,
PY - 2008
KW - process algebra
KW - Modal Logics
KW - Model checking
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
We propose a modal logic for Modular pi calculus: a logic to specify both temporal and spatial properties for processes in Modular pi calculus. Characterization of process equivalence the logic induce is investigated,and it is shown that the distinguishing power of the logic falls between bisimilarity and structural congruence. Then a model checking algorithm for the logic over the finite-control subset of Modular pi calculus is presented, and its correctness proved.
Index Terms:
process algebra, Modal Logics, Model checking
Citation:
Takashi Kitamura, Huimin Lin, "Specifying Properties for Modular Pi-Calculus," tase, pp.201-208, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008
Usage of this product signifies your acceptance of the Terms of Use.