Semantic techniques in quantum computation

Veröffentlicht 2010

Behavioural types : from theory to tools

Veröffentlicht 2017

Interaction categories and thte foundations of typed concurrent programming

von Abramsky, Samson
Veröffentlicht in Deductive program design (1996)

The Different Shades of Infinite Session Types

von Gay, Simon J.
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Typechecking Java Protocols with [St]Mungo

von Voinea, A. Laura
Veröffentlicht in FORTE (40. : 2020 : Online) Formal techniques for distributed objects, components, and systems (2020)

Using Force-Feedback Haptic Effects to Develop Serious and Entertainment Games Accessible for Visually Impaired People

von Gay, Simon L.
Veröffentlicht in IHAW (1. : 2021 : Larnaka) ICT for health, accessibility and wellbeing (2021)

Towards the Tactile Discovery of Cultural Heritage with Multi-approach Segmentation

von Souradi, Ali
Veröffentlicht in ICISP (9. : 2020) Image and signal processing (2020)