Advertisement

Algebraic Informatics

Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

  • Editors
  • Symeon Bozapalidis
  • George Rahonis
Conference proceedings CAI 2007

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Jean Berstel
      Pages 23-47
    2. Manfred Droste, Guo-Qiang Zhang
      Pages 73-74
    3. Dora Giammarresi
      Pages 75-86
    4. Jozef Gruska
      Pages 87-111
    5. Oliver Matz
      Pages 112-121
  3. Contributed Papers

    1. Marcella Anselmo, Maria Madonia
      Pages 147-159
    2. Giusi Castiglione, Roberto Vaglica
      Pages 160-171
    3. Frank Drewes, Johanna Högberg
      Pages 172-188
    4. Zoltan Ésik, Szabolcs Iván
      Pages 189-207
    5. Antonios Kalampakas
      Pages 208-217
    6. Sotiris Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis
      Pages 236-246
    7. Jean-Marcel Pallo
      Pages 260-274
    8. Heiko Stamer, Friedrich Otto
      Pages 275-289
  4. Back Matter

About these proceedings

Keywords

Processing algebra algebraic specification algebraic verification automata calculi context-free grammars deterministic learning formal methods formal testing linear languages modal logic modling process calculi semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75414-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-75413-8
  • Online ISBN 978-3-540-75414-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering