Volume 20, 2010
- Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
1-31
- Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Timed Operational Semantics and Well-Formedness of Shape Calculus.
32-52
- Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
53-96
- Helle Hvid Hansen, Jan J. M. M. Rutten:
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions.
97-130
- Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
State Space Reduction for Dynamic Process Creation.
131-157
Last update Thu May 23 18:39:20 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
