Sciweavers

ENTCS
2006

Goto and Concurrency Introducing Safe Jumps in Esterel

14 years 14 days ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Olivier Tardieu
Comments (0)