Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

First Page		Document Content
Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton		Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Download Document from Source Website File Size: 168,00 KB Share Document on Facebook

	starting point TCP/IP State Transition Diagram (RFC793) CLOSED DocID: 1xVUl - View Document
	PDF Document DocID: 1xGca - View Document
	PDF Document DocID: 1xA91 - View Document
	PDF Document DocID: 1xw66 - View Document
	PDF Document DocID: 1xrcR - View Document