Researcher identifiers

External widget

Production year

Number of documents

1

Kostas Chatzikokolakis


Mathematical Structures in Computer Science   

Journal articles1 document

  • Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun. Compositional methods for information-hiding. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (6), pp.908-932. ⟨10.1017/S0960129514000292⟩. ⟨hal-01006384⟩