Back to Results
First PageMeta Content
Computer science / Software engineering / Computing / Büchi automaton / Automata theory / Models of computation / Finite-state machine


Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories
Add to Reading List

Document Date: 2007-04-26 00:00:00


Open Document

File Size: 231,16 KB

Share Result on Facebook

City

Berlin / Murray Hill / /

Company

Concur / Michael Merritt AT&T Bell Laboratories / /

/

Event

Product Issues / Product Recall / /

Facility

Computer Science Carnegie Mellon University / /

IndustryTerm

concurrent and distributed systems / acceptable solution / concurrent systems / it easy to describe systems / real-time systems / real-time constraints / /

Organization

Francesmary Modugno School of Computer Science Carnegie Mellon University Pittsburgh / /

Person

Mark R. Tuttle / Ai / /

/

Position

compositional model for timed computations / clean compositional model for fair computation / /

Product

request / /

ProvinceOrState

New Jersey / /

PublishedMedium

Lecture Notes in Computer Science / /

SocialTag