Theoretical Aspects of Computing – ICTAC 2010

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

  • Ana Cavalcanti
  • David Deharbe
  • Marie-Claude Gaudel
  • Jim Woodcock
Conference proceedings ICTAC 2010

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

Table of contents

  1. Front Matter
  2. Invited Papers and Abstract

    1. Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
      Pages 15-43
    2. Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
      Pages 44-44
  3. Grammars

    1. Jacques Chabin, Mirian Halfeld-Ferrari, Martin A. Musicante, Pierre Réty
      Pages 60-75
  4. Semantics

    1. Paweł Gancarski, Andrew Butterfield
      Pages 91-105
    2. Qin Li, Huibiao Zhu, Jifeng He
      Pages 106-120
    3. Zhenbang Chen, Zhiming Liu
      Pages 121-136
    4. Bill Stoddart, Frank Zeyda, Steve Dunne
      Pages 137-152
  5. Modelling

    1. Jewgenij Botaschanjan, Benjamin Hummel
      Pages 153-167
    2. Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinicius Medeiros Oliveira
      Pages 168-183
  6. Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software

    1. Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
      Pages 184-198
    2. Andrius Velykis, Leo Freitas
      Pages 230-244
    3. Gregory Malecha, Greg Morrisett
      Pages 245-259
    4. Ashish Darbari, Bernd Fischer, João Marques-Silva
      Pages 260-274
    5. Mariano M. Moscato, Carlos G. López Pombo, Marcelo F. Frias
      Pages 275-289

About these proceedings

Keywords

CSP LA XML algorithms ants arithmetic operations category theory coalgebra component based system concurrency fault tolerance formal desc high level petri nets logic testing

Editors and affiliations

  • Ana Cavalcanti
    • 1
  • David Deharbe
    • 2
  • Marie-Claude Gaudel
    • 3
  • Jim Woodcock
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkYorkUnited Kingdom
  2. 2.Departamento de Informática e Matemática AplicatyUniversidade Federal do Rio Grande do Norte, Lagoa NovaNatal-RNBrazil
  3. 3.Université de Paris-Sud, LRIOrsay cedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14808-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14807-1
  • Online ISBN 978-3-642-14808-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book