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 Intelligent and Soft Computing
Pages901-909
Number of pages9
Volume166 AISC
EditionVOL. 1
DOIs
Publication statusPublished - 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)18675662

Other

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

Fingerprint

Temporal logic
Communication

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 Intelligent and Soft Computing (VOL. 1 ed., Vol. 166 AISC, 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

Partial evaluation of communicating processes with temporal formulas and its application. / Murakami, Masaki.

Advances in Intelligent and Soft Computing. Vol. 166 AISC VOL. 1. ed. 2012. p. 901-909 (Advances in Intelligent and Soft Computing; Vol. 166 AISC, No. VOL. 1).

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

Murakami, M 2012, Partial evaluation of communicating processes with temporal formulas and its application. in Advances in Intelligent and Soft Computing. VOL. 1 edn, vol. 166 AISC, Advances in Intelligent and Soft Computing, no. VOL. 1, vol. 166 AISC, pp. 901-909, 2nd International Conference on Computer Science, Engineering and Applications, ICCSEA 2012, New Delhi, India, 5/25/12. https://doi.org/10.1007/978-3-642-30157-5_89
Murakami M. Partial evaluation of communicating processes with temporal formulas and its application. In Advances in Intelligent and Soft Computing. VOL. 1 ed. Vol. 166 AISC. 2012. p. 901-909. (Advances in Intelligent and Soft Computing; VOL. 1). https://doi.org/10.1007/978-3-642-30157-5_89
Murakami, Masaki. / Partial evaluation of communicating processes with temporal formulas and its application. Advances in Intelligent and Soft Computing. Vol. 166 AISC VOL. 1. ed. 2012. pp. 901-909 (Advances in Intelligent and Soft Computing; VOL. 1).
@inproceedings{70b6251bf9bc4b499788bcb46c72a85e,
title = "Partial evaluation of communicating processes with temporal formulas and its application",
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.",
author = "Masaki Murakami",
year = "2012",
doi = "10.1007/978-3-642-30157-5_89",
language = "English",
isbn = "9783642301568",
volume = "166 AISC",
series = "Advances in Intelligent and Soft Computing",
number = "VOL. 1",
pages = "901--909",
booktitle = "Advances in Intelligent and Soft Computing",
edition = "VOL. 1",

}

TY - GEN

T1 - Partial evaluation of communicating processes with temporal formulas and its application

AU - Murakami, Masaki

PY - 2012

Y1 - 2012

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

SN - 9783642301568

VL - 166 AISC

T3 - Advances in Intelligent and Soft Computing

SP - 901

EP - 909

BT - Advances in Intelligent and Soft Computing

ER -