Skip to main content
SpringerLink
Log in

Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application

  • Conference paper
Advances in Computer Science, Engineering & Applications

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 166))

  • 1821 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, ch. 16, pp. 995–1072. The MIT Press/Elsevier (1990)

    Google Scholar 

  2. Etalle, S., Gabbrieli, M.: Partial evaluation of concurrent constraint languages. ACM Computing Surveys 30(3) (September 1998)

    Google Scholar 

  3. Glück, R., Jøgensen, J., Martens, B., Sørensen, H.: Controlling Conjunctive Partial Deduction. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol. 1140, pp. 152–166. Springer, Heidelberg (1996)

    Google Scholar 

  4. Hagiya, M., Introduction for Cryptosystem The University of Tokyo (2010) (in Japanase), http://hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/ango/intro.pdf

  5. Harel, D., Pnueli, A.: On the Development of Reactive Systems. In: Apt, K.R. (ed.) Logic and Models of Concurrent Systems. Springer, New York (1985)

    Google Scholar 

  6. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)

    Google Scholar 

  7. Hosoya, H., Kobayashi, N., Yonezawa, A.: Partial Evaluation Scheme for Concurrent Languages and its Correctness. In: Fraigniaud, P., Mignotte, A., Bougé, L., Robert, Y. (eds.) Euro-Par 1996. LNCS, vol. 1123, pp. 625–632. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  8. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall (1993)

    Google Scholar 

  9. Lowe, G.: An attack on the Needhum-Schroeder public-key authentication protocol. Information Processing Letters 56, 131–133 (1995)

    Article  MATH  Google Scholar 

  10. Marinescu, M., Goldberg, B.: Partial-evaluation techniques for concurrent programs. In: Proc. of ACM SIGPLAN PEPM 1997, pp. 47–62 (1997)

    Google Scholar 

  11. Martel, M., Gengler, M.: Partial Evaluation of Concurrent Programs. In: Sakellariou, R., Keane, J.A., Gurd, J.R., Freeman, L. (eds.) Euro-Par 2001. LNCS, vol. 2150, pp. 504–514. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Masuhara, H., Yonezawa, A.: Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 418–439. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  13. Murakami, M.: Partial Evaluation of Reactive Concurrent Processes using Temporal Logic Formulas. Computer Software 12(3), 15–27 (1995)

    Google Scholar 

  14. Needhum, R.M., Shroeder: Using encryption for authentication in large network of computers. Communications of the ACM 21(12), 993–999 (1978)

    Article  Google Scholar 

  15. Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall (1998)

    Google Scholar 

  16. Sugahara, T., Watanabe, T.: A Method for Partial Evaluation of Object-Oriented Concurrent Languages. In: Proc. 12th Conf. JSSST, pp. 337–340 (1995)

    Google Scholar 

  17. Zöbel, D.: Program Transformations for Distributed Control Systems, http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.73.5403

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Graduate School of Natural Science and Technology, Okayama University, 3-1-1, Tsushima-Naka, Kita-ku, Okayama, 700-0082, Japan

    Masaki Murakami

Authors
  1. Masaki Murakami
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Masaki Murakami .

Editor information

Editors and Affiliations

  1. Southeastern Louisiana University, Hammond, USA

    David C. Wyld

  2. Mendel University, Brno, Czech Republic

    Jan Zizka

  3. Wireilla Net Solutions PTY Ltd, Melbourne, Australia

    Dhinaharan Nagamalai

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag GmbH Berlin Heidelberg

About this paper

Cite this paper

Murakami, M. (2012). Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application. In: Wyld, D., Zizka, J., Nagamalai, D. (eds) Advances in Computer Science, Engineering & Applications. Advances in Intelligent and Soft Computing, vol 166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30157-5_89

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30157-5_89

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30156-8

  • Online ISBN: 978-3-642-30157-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation