BibSonomy :: author  ::

bookmarks

publications

(8)

• Maximal Serialisability of Iterated Transactions
  M.P. Fle and G. Roucairol Theoretical Computer Science 38 1--16 (1985)
  to imported by charoy on 2007-06-19 16:03:11
  | BibTeX  
• Serialization of Concurrent Programs.
  Marie-Paule Flé J. Comput. Syst. Sci. 38 474-493 (1989)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX  
• Multiserialization of Iterated Transactions.
  Marie-Paule Flé and Gérard Roucairol Inf. Process. Lett. 18 243-247 (1984)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX  
• Maximal Serializability of Iterated Transactions.
  Marie-Paule Flé and Gérard Roucairol Theor. Comput. Sci. 38 1-16 (1985)
  to dblp by dblp on 2003-11-19 00:00:00
  | URL | BibTeX  
• On Serializability of Iterated Transactions.
  Marie-Paule Flé and Gérard Roucairol PODC 194-200 (1982)
  to dblp by dblp on 2002-12-04 00:00:00
  | URL | BibTeX  
• On some syntactic equivalence of program schemas and related transformations.
  Marie-Paule Flé and Gérard Roucairol Symposium on Programming 116-131 (1982)
  to dblp by dblp on 2002-11-07 00:00:00
  | URL | BibTeX  
• Fair serializability of iterated transactions using FIFO-nets.
  Marie-Paule Flé and Gérard Roucairol European Workshop on Applications and Theory in Petri Nets 154-168 (1984)
  to dblp by dblp on 2002-08-14 00:00:00
  | URL | BibTeX  
• A language theoretic approach to serialization problem in concurrent systems.
  Marie-Paule Flé and Gérard Roucairol FCT 128-145 (1985)
  to dblp by dblp on 2002-07-25 00:00:00
  | URL | BibTeX