Logic in Computer Science (LICS 1995)

Paper: Origins and Metamorphoses of The Trinity: Logic, Nets, Automata (at LICS 1995)

Authors: Boris Trakhtenbrot

Abstract

Synthesis and verification of systems are considered with respect to the specific trinity of abstraction-levels. At the highest level - specifications expressed as formulas based on Second Order Monadic Logic (SOML). At the intermediate level - formalization of transducers (i.e. transformers of input signals into output signals) via finite sequential automata. At the lower level - formalization of discrete synchronous hardware via logical nets. The lecture tackles the question: how and to what extent did The Trinity anticipate and promote developments in Logic and Computer Science?

BibTeX

  @InProceedings{Trakhtenbrot-OriginsandMetamorph,
    author = 	 {Boris Trakhtenbrot},
    title = 	 {Origins and Metamorphoses of The Trinity: Logic, Nets, Automata},
    booktitle =  {Proceedings of the Tenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1995},
    year =	 1995,
    editor =	 {Dexter Kozen},
    month =	 {June}, 
    pages =      {506-507},
    location =   {San Diego, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }