Partial evaluation of communicating processes with temporal formulas and its application

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationAdvances in Computer Science, Engineering and Applications - Proceedings of the Second International Conference on Computer Science, Engineering and Applications, ICCSEA 2012
Pages901-909
Number of pages9
EditionVOL. 1
DOIs
Publication statusPublished - Aug 24 2012
Event2nd International Conference on Computer Science, Engineering and Applications, ICCSEA 2012 - New Delhi, India
Duration: May 25 2012May 27 2012

Publication series

NameAdvances in Intelligent and Soft Computing
NumberVOL. 1
Volume166 AISC
ISSN (Print)1867-5662

Other

Other2nd International Conference on Computer Science, Engineering and Applications, ICCSEA 2012
CountryIndia
CityNew Delhi
Period5/25/125/27/12

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Murakami, M. (2012). Partial evaluation of communicating processes with temporal formulas and its application. In Advances in Computer Science, Engineering and Applications - Proceedings of the Second International Conference on Computer Science, Engineering and Applications, ICCSEA 2012 (VOL. 1 ed., pp. 901-909). (Advances in Intelligent and Soft Computing; Vol. 166 AISC, No. VOL. 1). https://doi.org/10.1007/978-3-642-30157-5_89