21 results
Breakdown of electroneutrality in polyelectrolyte gels
- Part of
-
- Journal:
- European Journal of Applied Mathematics / Volume 35 / Issue 3 / June 2024
- Published online by Cambridge University Press:
- 06 September 2023, pp. 359-381
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Time-dependent modelling of thin poroelastic films drying on deformable plates
- Part of
-
- Journal:
- European Journal of Applied Mathematics / Volume 35 / Issue 1 / February 2024
- Published online by Cambridge University Press:
- 12 April 2023, pp. 62-95
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Modelling session types using contracts
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 3 / March 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 510-560
-
- Article
- Export citation
3 - Types for aPi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 55-95
-
- Chapter
- Export citation
Contents
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp vii-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp ix-xvi
-
- Chapter
- Export citation
4 - Types and behaviour in aPi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 96-123
-
- Chapter
- Export citation
List of figures
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 248-249
-
- Chapter
- Export citation
Index
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 257-259
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp i-vi
-
- Chapter
- Export citation
1 - Inductive principles
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 1-9
-
- Chapter
- Export citation
2 - The asynchronous PI-CALCULUS
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 10-54
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 254-256
-
- Chapter
- Export citation
A Distributed Pi-Calculus
-
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007
Notation
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 250-253
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp xvii-xviii
-
- Chapter
- Export citation
5 - A distributed asynchronous PI-CALCULUS
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 124-193
-
- Chapter
- Export citation
Sources
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 244-247
-
- Chapter
- Export citation
6 - Behavioural equivalences for aDpi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 194-243
-
- Chapter
- Export citation
Typed behavioural equivalences for processes in the presence of subtyping
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 5 / October 2004
- Published online by Cambridge University Press:
- 23 September 2004, pp. 651-684
-
- Article
- Export citation