ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Eighth Annual IEEE Symposium on

Logic in Computer Science (LICS 1993)

Invited Paper: Imperfect information flow (at LICS 1993)

Authors: K. Jon Barwise Jerry Seligman


The view that computers are information processors is commonplace. They are used, for the most part successfully, throughout our society, as reliable links in the transmission of information and knowledge. Yet the formulation of a precise, qualitative conception of information and a theory of the transmission of information has proved elusive, despite the many other successes of computer science. The authors set out the motivation for and a skeleton of a new mathematical model of information flow, one that is compatible with less than perfect flow


    author = 	 {K. Jon Barwise and Jerry Seligman},
    title = 	 {Imperfect information flow},
    booktitle =  {Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science (LICS 1993)},
    year =	 {1993},
    month =	 {June}, 
    pages =      {252--260},
    location =   {Montreal, Canada}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}

Last modified: 2022-10-3113:49
Sam Staton