Sciweavers

603 search results - page 6 / 121

» concurrency 2010

84

ENTCS
2006

130views more ENTCS 2006»

Constraint-Based Concurrency and Beyond

15 years 4 months ago

Constraint-Based Concurrency and Beyond

Download nicosia.is.s.u-tokyo.ac.jp

Kazunori Ueda

claim paper

Read More »

86

Voted

ENTCS
2006

111views more ENTCS 2006»

What are the Fundamental Structures of Concurrency?: We still don't know!

15 years 4 months ago

What are the Fundamental Structures of Concurrency?: We still don't know!

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

51

Voted

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

15 years 3 months ago

Concurrent Logic and Automata Combined: A Semantics for Components

Download www.computing.surrey.ac.uk

Juliana Küster Filipe, Sotiris Moschoyiannis

claim paper

Read More »

116

ENTCS
2007

91views more ENTCS 2007»

Stochastic Concurrent Constraint Programming and Differential Equations

15 years 3 months ago

Stochastic Concurrent Constraint Programming and Differential Equations

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

131

ENTCS
2006

139views more ENTCS 2006»

Goto and Concurrency Introducing Safe Jumps in Esterel

15 years 4 months ago

Goto and Concurrency Introducing Safe Jumps in Esterel

Download www.inrialpes.fr

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

claim paper

Read More »

« Prev « First page 6 / 121 Last » Next »