• DocumentCode
    3260825
  • Title

    Bisimulation: from the origins to today

  • Author

    Sangiorgi, Davide

  • Author_Institution
    Bologna Univ., Italy
  • fYear
    2004
  • fDate
    13-17 July 2004
  • Firstpage
    298
  • Lastpage
    302
  • Abstract
    This is a summary of topics that the author discussed at LICS´04. The author intends to expand substantially some of them, notably the part on the origins of bisimulation (and co-induction).
  • Keywords
    bisimulation equivalence; bisimilarity; bisimulation; coinductive proof; inductive definition; Automata; Carbon capture and storage; Computer science; Concurrent computing; Lattices; Logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
  • ISSN
    1043-6871
  • Print_ISBN
    0-7695-2192-4
  • Type

    conf

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