| Managing object technology
projects, R.Dué (Thomsen Dué and Associates, CA)
UML: what does it all
mean?, S.Kent (U Brighton, UK)
Categorial techniques
for combining logics, C.Sernadas (TU Lisbon, P)
Introduction to graph
transformation, H.Ehrig (TU Berlin, D), A.Corradini (U Pisa, I)
and R.Heckel (TU Berlin and U Pisa)
|
A co-iterative characterization of synchronous stream
functions, P.Caspi and M.Pouzet (IMAG, F)
Monadic corecursion Definition, fusion laws,
and applications, A.Pardo (TU Darmstadt, D)
On a functor for probabilistic bisimulation preserving
weak pullbacks, E.de Vink
Semantic domains based on sets with families of equivalences,
L.Monteiro (New U Lisbon, P)
Relators, bimodules, and behavioural distances,
J.Rutten (CWI, NL)
|