Sciweavers

Share
FMICS
2009
Springer

A Rigorous Methodology for Composing Services

9 years 6 months ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + EASST award to best paper Tuesday 3rd November 08:00 Registration desk open 0099::0000 IInnvviitteedd TTaallkk ((CChhaaiirr:: XXXXXX)) Diego Latella ISTI/CNR, Italy On a Uniform Framework for the Definition of Stochastic Process Languages 10:00 - 10:30 Coffee break 1100::3300 SSeessssiioonn 33 ((CChhaaiirr:: XXXXXX)) Matthias Raffelsieper, MohammadReza Mousavi, Jan-Willem Roorda, Chris Strolenberg and Hans Zantema Formal Analysis of Non-Determinism in Verilog Cell Library Simulation Models Julio Mariño, Ángel Herranz, Manuel Carro and Juan José Moreno-Navarro Formal Modeling of Concurrent Systems with Shared Resource Kenneth J. Turner and Koon Leai Larry Tan A Rigorous Methodology for Composing Services 12:30 - 14:30 Lunch Monday 2nd November 08:00 Registration desk open 0099::0000 IInnvviitteedd TTaallkk ...
Kenneth J. Turner, Koon Leai Larry Tan
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMICS
Authors Kenneth J. Turner, Koon Leai Larry Tan
Comments (0)
books