9 results
A simple library implementation of binary sessions*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 21 December 2016, e4
-
- Article
-
- You have access
- Export citation
Operations, Charge Transport, and Random Telegraph Noise in HfOx Resistive Random Access Memory: a Multi-scale Modeling Study
-
- Journal:
- MRS Advances / Volume 1 / Issue 5 / 2016
- Published online by Cambridge University Press:
- 12 January 2016, pp. 327-338
- Print publication:
- 2016
-
- Article
- Export citation
Global progress for dynamically interleaved multiparty sessions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 2 / February 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 238-302
-
- Article
- Export citation
Fair subtyping for multi-party session types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 3 / March 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 424-464
-
- Article
- Export citation
On projecting processes into session types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 28 February 2012, pp. 237-289
-
- Article
- Export citation
‘Following the leader’: first record of a species from the genus Lutjanus acting as a follower of an octopus
-
- Journal:
- Marine Biodiversity Records / Volume 4 / December 2011
- Published online by Cambridge University Press:
- 18 November 2011, e88
- Print publication:
- December 2011
-
- Article
- Export citation
Efficacy of SSRIs on cognition of Alzheimer's disease patients treated with cholinesterase inhibitors
-
- Journal:
- International Psychogeriatrics / Volume 22 / Issue 1 / February 2010
- Published online by Cambridge University Press:
- 25 June 2009, pp. 114-119
-
- Article
- Export citation
Mild parkinsonian signs and psycho-behavioral symptoms in subjects with mild cognitive impairment
-
- Journal:
- International Psychogeriatrics / Volume 20 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 86-95
-
- Article
- Export citation
Catechol-o-methyltransferase gene polymorphism in dementia with Lewy bodies-related psychosis: evidence for a genetic predisposition
-
- Journal:
- International Psychogeriatrics / Volume 18 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 09 October 2006, pp. 755-757
-
- Article
-
- You have access
- Export citation