Search the dblp DataBase

Publications of Author

1. Dai Tri Man Le, Ryszard Janicki
   On a Parthood Specification Method for Component Software. [Citation Graph (0, 0)][DBLP]
   RSCTC, 2006, pp:537-546 [Conf]
   
2. Ryszard Janicki, Dai Tri Man Le
   Towards a Pragmatic Mereology. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:75, n:1-4, pp:295-314 [Journal]
   
3. 
   A Characterization of Combined Traces Using Labeled Stratified Order Structures. [Citation Graph (, )][DBLP]
   
   
4. 
   Modelling Concurrency with Quotient Monoids. [Citation Graph (, )][DBLP]
   
   
5. 
   Closure Operators for Order Structures. [Citation Graph (, )][DBLP]
   
   
6. 
   Modelling Concurrency with Comtraces and Generalized Comtraces [Citation Graph (, )][DBLP]
   
   
7. 
   Modelling Concurrent Behaviors in the Process Specification Language [Citation Graph (, )][DBLP]
   
   
8. 
   Statechart Verification with iState [Citation Graph (, )][DBLP]
   
   
9. 
   Combining Partial Order Alignment and Progressive Near-Optimal Alignment [Citation Graph (, )][DBLP]
   
   
10. 
    A Characterization of Combined Traces Using Labeled Stratified Order Structures [Citation Graph (, )][DBLP]