2 results  save search


hal-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliDave Thomas. Modes in Asynchronous Systems
13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
...
hal-00782799v1  Journal articles
David Chemouil. An insertion operator preserving infinite reduction sequences
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, 18 (4), pp.693-728. ⟨10.1017/S0960129508006816⟩