3 results
Preface to Special Issue devoted to the memory of Sauro Tulipani
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 1-4
-
- Article
- Export citation
The expressive power of urgent, lazy and busy-waiting actions in timed processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 4 / August 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 619-656
-
- Article
- Export citation
A Finite Axiomatization of Nondeterministic Regular Expressions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 447-465
- Print publication:
- July 1999
-
- Article
- Export citation