TY - GEN
T1 - Partial evaluation of communicating processes with temporal formulas and its application
AU - Murakami, Masaki
PY - 2012/8/24
Y1 - 2012/8/24
N2 - This paper presents a framework that extends a partial evaluation method for transformational programs to a method for reactive CSP processes. Temporal logic formulas are used to represent constraints on the sets of the sequences of communication actions executed by the processes. We present a set of simple rules for specializing processes with temporal formulas which contain X(next)-operators and/or G (invariant)-operators. We present an example of an application of our partial evaluation method to improve the security of concurrent systems.
AB - This paper presents a framework that extends a partial evaluation method for transformational programs to a method for reactive CSP processes. Temporal logic formulas are used to represent constraints on the sets of the sequences of communication actions executed by the processes. We present a set of simple rules for specializing processes with temporal formulas which contain X(next)-operators and/or G (invariant)-operators. We present an example of an application of our partial evaluation method to improve the security of concurrent systems.
UR - http://www.scopus.com/inward/record.url?scp=84865159735&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84865159735&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-30157-5_89
DO - 10.1007/978-3-642-30157-5_89
M3 - Conference contribution
AN - SCOPUS:84865159735
SN - 9783642301568
T3 - Advances in Intelligent and Soft Computing
SP - 901
EP - 909
BT - Advances in Computer Science, Engineering and Applications - Proceedings of the Second International Conference on Computer Science, Engineering and Applications, ICCSEA 2012
T2 - 2nd International Conference on Computer Science, Engineering and Applications, ICCSEA 2012
Y2 - 25 May 2012 through 27 May 2012
ER -