Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computer Software

4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Naoki Kobayashi

    1. Department of Computer Science, Tokyo Institute of Technology Graduate School of Information Science and Engineering, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benjamin C. Pierce

    1. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2215)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. Invited Talk 1

    1. A Spatial Logic for Concurrency (Part I)

      • Luís Caires, Luca Cardelli
      Pages 1-37

  3. Session 1

    1. Boxed Ambients

      • Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
      Pages 38-63

    2. A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation

      • Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
      Pages 64-81

    3. Formal Eavesdropping and Its Computational Interpretation

      • Martín Abadi, Jan Jürjens
      Pages 82-94

  4. Invited Talk 2

    1. Resource-Passing Concurrent Programming

      • Kazunori Ueda
      Pages 95-126

  5. Session 2

    1. Solo Diagrams

      • Cosimo Laneve, Joachim Parrow, Björn Victor
      Pages 127-144

    2. Observational Equivalence for Synchronized Graph Rewriting with Mobility

      • Barbara König, Ugo Montanari
      Pages 145-164

  7. Invited Talk 3

    1. Nominal Logic: A First Order Theory of Names and Binding

      • Andrew M. Pitts
      Pages 219-242

  9. Invited Talk 4

    1. Modelisation of Timed Automata in Coq

      • Christine Paulin-Mohring
      Pages 298-315

  10. Session 5

    1. Model-Checking LTL with Regular Valuations for Pushdown Systems

      • Javier Esparza, Antonín Kučera, Stefan Schwoon
      Pages 316-339

    2. What Will Be Eventually True of Polynomial Hybrid Automata?

      • Martin Fränzle
      Pages 340-359

    3. Non-structural Subtype Entailment in Automata Theory

      • Joachim Niehren, Tim Priesnitz
      Pages 360-384
Back to top

Keywords

About this book

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this volume shows, TACS is an international symposium, with participants from many di?erent institutions and countries. TACS 2001 was the fourth symposium in the TACS series, following TACS’91, TACS’94, and TACS’97, whose proceedings were published as Volumes 526, 789, and 1281, respectively, of Springer-Verlag’s Lecture Notes in Computer Science series. The TACS 2001 technical program consisted of invited talks and contributed talks. In conjunction with this program there was a special open lecture by Benjamin Pierce; this lecture was open to non-registrants. TACS 2001 bene?ted from the e?orts of many people; in particular, members of the Program Committee and the Organizing Committee. Our special thanks go to the Program Committee Co-chairs: Naoki Kobayashi (Tokyo Institute of Technology) Benjamin Pierce (University of Pennsylvania).

Editors and Affiliations

  • Department of Computer Science, Tokyo Institute of Technology Graduate School of Information Science and Engineering, Tokyo, Japan

    Naoki Kobayashi

  • Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA

    Benjamin C. Pierce

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation