Sciweavers

1916 search results - page 48 / 384
» Reconfiguring a state machine
Sort
View
ASM
2000
ASM
15 years 2 months ago
Abstract State Machines and Computationally Complete Query Languages
Andreas Blass, Yuri Gurevich, Jan Van den Bussche
ASM
2000
ASM
15 years 2 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace
ANSS
1999
IEEE
15 years 2 months ago
Genetic Simulation for Finite State Machine Identification
Lamine Ngom, Claude Baron, Jean Claude Geffroy
FM
1999
Springer
99views Formal Methods» more  FM 1999»
15 years 2 months ago
Logspace Reducibility via Abstract State Machines
Erich Grädel, Marc Spielmann