• DocumentCode
    2050051
  • Title

    Amir Pnueli: A Gentle Giant, Lord of the Phi´s and the Psi´s

  • Author

    Harel, David

  • fYear
    2010
  • fDate
    11-14 July 2010
  • Firstpage
    57
  • Lastpage
    57
  • Abstract
    The following topics are dealt with: finite model theory; logic and automata; semantics; process calculi; and coalgebras.
  • Keywords
    automata theory; process algebra; programming language semantics; automata; coalgebras; finite model theory; logic; process calculi; semantic; Computer science; Engineering profession; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on
  • Conference_Location
    Edinburgh
  • ISSN
    1043-6871
  • Print_ISBN
    978-1-4244-7588-9
  • Electronic_ISBN
    1043-6871
  • Type

    conf

  • DOI
    10.1109/LICS.2010.54
  • Filename
    5571058
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2050051