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

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Olivier Tardieu
• Keywords: Design Language, ENTCS 2006, Real Time, Synchronous Concurrency Paradigm