Lazy Parallel Synchronous Composition of Infinite Transition Systems.

Yuliia Romenska, Frdric Mallet

Browse the full ICTERI paper archive.