Sciweavers

603 search results - page 6 / 121
» concurrency 2010
Sort
View
28
Voted
ENTCS
2007
100views more  ENTCS 2007»
14 years 9 months ago
Concurrent Logic and Automata Combined: A Semantics for Components
Juliana Küster Filipe, Sotiris Moschoyiannis
ENTCS
2006
139views more  ENTCS 2006»
14 years 9 months 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