Home

Busy, busy, busy

As you can probably deduce from the lack of posts, I am extremely busy. Real life is taking its toll.

I implore the other editors to take charge.

By Ehud Lamm at 2006-11-08 19:40 | Admin | other blogs | 6581 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Offtopic, but I don't know where to go.

I'm sure everyone here knows that it is possible to take two (composable) finite state transducers and "compile" them into a third finite-state transducer.

If you have a fixed set of communicating finite-state processes, and a scheduling algorithm to switch between them, can you compile the whole thing into one finite-state transducer (from system inputs to system outputs)?

Is there some process calculus in the literature that corresponds to this scenario?

By JohnicholasHines at Wed, 2006-11-08 23:15 | login or register to post comments

spin

I don't know much about the literature on this, but Gerard Holzmann's spin does exactly this when preparing systems for model analysis.

By Tom Duff at Thu, 2006-11-09 00:07 | login or register to post comments

Thanks! I didn't know that

Thanks! I didn't know that Spin models were even in principle executable.

After looking briefly on Google, I guess Spin models are in principle nondeterministic?

I guess I'll look more carefully to find out, and to find if there's a nice way of getting rid of that nondeterminism.

By JohnicholasHines at Thu, 2006-11-09 00:41 | login or register to post comments