Skip to main content
Springer Nature Link
Account

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

  • Conference proceedings
  • © 2010
Save conference proceedings
View saved research

Overview

Editors:
  1. Ana Cavalcanti

    1. Department of Computer Science, University of York, York, United Kingdom

  2. David Deharbe

    1. Departamento de Informática e Matemática Aplicaty, Universidade Federal do Rio Grande do Norte, Lagoa Nova, Natal-RN, Brazil

  3. Marie-Claude Gaudel

    1. Université de Paris-Sud, LRI, Orsay cedex, France

  4. Jim Woodcock

    1. Department of Computer Science, University of York, York, United Kingdom

  • Up to date results
  • Fast conference prceedings
  • State-of-the-art report

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 2010.

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
  • Free shipping worldwide - view details

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (26 papers)

  1. Logics

    1. Complete Calculi for Structured Specifications in Fork Algebra

      • Carlos Gustavo Lopez Pombo, Marcelo Fabiùn Frias
      Pages 290-305

    2. Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

      • Pablo F. Castro, Nazareno M. Aguirre, Carlos Gustavo López Pombo, Thomas S. E. Maibaum
      Pages 306-321

    3. Characterizing Locality (Encapsulation) with Bisimulation

      • Pablo F. Castro, Tom S. E. Maibaum
      Pages 322-336

    4. Justification Logic and History Based Computation

      • Francisco Bavera, Eduardo Bonelli
      Pages 337-351

  2. Algorithms and Types

    1. A Class of Greedy Algorithms and Its Relation to Greedoids

      • Srinivas Nedunuri, Douglas R. Smith, William R. Cook
      Pages 352-366

    2. On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types

      • Paul Tarau
      Pages 367-381

    3. A Modality for Safe Resource Sharing and Code Reentrancy

      • Rui Shi, Dengping Zhu, Hongwei Xi
      Pages 382-396

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Theoretical Aspects of Computing

Editors and Affiliations

  • Department of Computer Science, University of York, York, United Kingdom

    Ana Cavalcanti, Jim Woodcock

  • Departamento de Informática e Matemática Aplicaty, Universidade Federal do Rio Grande do Norte, Lagoa Nova, Natal-RN, Brazil

    David Deharbe

  • Université de Paris-Sud, LRI, Orsay cedex, France

    Marie-Claude Gaudel

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

  • Book Title: Theoretical Aspects of Computing

  • Book Subtitle: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

  • Editors: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-14808-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0), Springer Nature Proceedings Computer Science

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-14807-1Published: 11 August 2010

  • eBook ISBN: 978-3-642-14808-8Published: 21 August 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 397

  • Number of Illustrations: 60 b/w illustrations

  • Topics: Theory of Computation, Computation by Abstract Devices

Keywords

Publish with us

Policies and ethics

Back to top