A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems.

Jinho On, Sujeong Woo, Moonkun Lee

Browse the full COMPSAC paper archive.