Search Sciweavers | Sciweavers

Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...

Wolfgang Thomas

claim paper

Read More »

119

click to vote

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

15 years 10 months ago

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

148

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

128

click to vote

EURODAC
1990
IEEE

73views VHDL» more EURODAC 1990»

A new method for the state reduction of incompletely specified finite sequential machines

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers