Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

FMOODS
2008

favoriteEmaildiscussreport

114views Formal Methods» more FMOODS 2008»

Sessions and Pipelines for Structured Service Programming

13 years 6 months ago

Sessions and Pipelines for Structured Service Programming

Download www.di.unipi.it

Michele Boreale, Roberto Bruni, Rocco De Nicola, M

Real-time Traffic

FMOODS 2008 | Formal Methods |

claim paper

Related Content

» Structured CommunicationCentred Programming for Web Services

» A Calculus of Global Interaction based on Session Types

» Parameterised Multiparty Session Types

» A programmable message classification engine for session initiation protocol SIP

» HTTP Programming Recipes for Java Bots

» Versatile annotation and publication quality visualization of protein complexes using POLY...

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2008
Where	FMOODS
Authors	Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti

Comments (0)