3 results
CaSPiS: a calculus of sessions, pipelines and services†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 3 / March 2015
- Published online by Cambridge University Press:
- 10 November 2014, pp. 666-709
-
- Article
- Export citation
Multiple-Labelled Transition Systems for nominal calculi and their logics†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 107-143
-
- Article
- Export citation
An Ingham type proof for a two-grid observability theorem
-
- Journal:
- ESAIM: Control, Optimisation and Calculus of Variations / Volume 14 / Issue 3 / July 2008
- Published online by Cambridge University Press:
- 21 December 2007, pp. 604-631
- Print publication:
- July 2008
-
- Article
- Export citation