1989 | ||
---|---|---|
7 | Marie-Paule Flé: Serialization of Concurrent Programs. J. Comput. Syst. Sci. 38(3): 474-493 (1989) | |
1985 | ||
6 | Marie-Paule Flé, Gérard Roucairol: A language theoretic approach to serialization problem in concurrent systems. FCT 1985: 128-145 | |
5 | Marie-Paule Flé, Gérard Roucairol: Maximal Serializability of Iterated Transactions. Theor. Comput. Sci. 38: 1-16 (1985) | |
1984 | ||
4 | Marie-Paule Flé, Gérard Roucairol: Fair serializability of iterated transactions using FIFO-nets. European Workshop on Applications and Theory in Petri Nets 1984: 154-168 | |
3 | Marie-Paule Flé, Gérard Roucairol: Multiserialization of Iterated Transactions. Inf. Process. Lett. 18(5): 243-247 (1984) | |
1982 | ||
2 | Marie-Paule Flé, Gérard Roucairol: On Serializability of Iterated Transactions. PODC 1982: 194-200 | |
1 | Marie-Paule Flé, Gérard Roucairol: On some syntactic equivalence of program schemas and related transformations. Symposium on Programming 1982: 116-131 |
1 | Gérard Roucairol | [1] [2] [3] [4] [5] [6] |