Back to Results
First PageMeta Content
Applied mathematics / Ω-automaton / Finite-state machine / Scheduling / Tree automaton / Alternating finite automaton / Powerset construction / Automata theory / Theoretical computer science / Computer science


Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe|finkbeiner}@cs.uni-sb.de
Add to Reading List

Document Date: 2008-09-22 13:39:05

Open Document

File Size: 236,94 KB

Share Result on Facebook

Company

Hp / /

Currency

pence / /

/

IndustryTerm

asynchronous systems / synchronous and asynchronous systems / synthesis algorithm / synthesis algorithms / synchronous systems / automata-theoretic synthesis algorithm / synchronous distributed systems / asynchronous distributed systems / /

Person

Bernd Finkbeiner Universit / Sven Schewe / /

Position

iff player / full scheduler / scheduler / player / /

ProvinceOrState

Sw / /

Technology

3.2 Overview The algorithm / synthesis algorithm / automata-theoretic synthesis algorithm / second algorithm / synthesis algorithms / automata-based algorithm / /

SocialTag