7 results
An expressiveness study of priority in process calculi
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1161-1189
-
- Article
- Export citation
(Tissue) P systems with cell polarity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1141-1160
-
- Article
- Export citation
Structural non-interference in elementary and trace nets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1065-1090
-
- Article
- Export citation
On the expressive power of recursion, replication and iteration in process calculi
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1191-1222
-
- Article
- Export citation
Process discovery and Petri nets†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1091-1124
-
- Article
- Export citation
Efficient computation in rational-valued P systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1125-1139
-
- Article
- Export citation
Deciding reachability problems in Turing-complete fragments of Mobile Ambients
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 6 / December 2009
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1223-1263
-
- Article
- Export citation