Transformations and confluence for rewrite systems

By Verma R.M.  

Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. : 269-283

Elsevier

Access to resources Recommend Favorite

Data-Dependency Graph Transformations for Instruction Scheduling

By Heffernan Mark   Wilken Kent  

Journal of Scheduling, Vol. 8, Iss. 5, 2005-10 ,pp. : 427-451

Springer Publishing Company

Access to resources Recommend Favorite

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

By Madl Gabor   Abdelwahed Sherif   Schmidt Douglas  

Real-Time Systems, Vol. 33, Iss. 1-3, 2006-07 ,pp. : 77-100

Springer Publishing Company

Access to resources Recommend Favorite

Confluence for process verification

By Groote J.F.   Sellink M.P.A.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 47-81

Elsevier

Access to resources Recommend Favorite

Confluence in concurrent constraint programming

By Falaschi M.   Gabbrielli M.   Marriott K.   Palamidessi C.  

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 281-315

Elsevier

Access to resources Recommend Favorite