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 ...

• Type: Conference
• Year: 2009
• Where: FMICS
• Authors: Kenneth J. Turner, Koon Leai Larry Tan
• Keywords: Coffee Break, FMICS 2009, Formal Methods, IInnvviitteedd TTaallkk, Registration Desk