Actor theories in rewriting logic

By Talcott C.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 441-485

Elsevier

Access to resources Recommend Favorite

Infinitary rewriting: meta-theory and convergence

By Kahrs Stefan  

Acta Informatica, Vol. 44, Iss. 2, 2007-05 ,pp. : 91-121

Springer Publishing Company

Access to resources Recommend Favorite

Organising competences: actor-network theory in virtual settings

By Goncalves Fernando Abreu   Figueiredo Jose  

International Journal of Networking and Virtual Organisations, Vol. 6, Iss. 1, 2009-01 ,pp. : 22-35

Inderscience Publishers

Access to resources Recommend Favorite

Actor coordination using info-gap decision theory in wireless sensor and actor networks

By Hancke S. Chinnappen-Rimer; Gerhard P.  

International Journal of Sensor Networks, Vol. 10, Iss. 4, 2011-10 ,pp. : 177-191

Inderscience Publishers

Access to resources Recommend Favorite

Proof theory of higher-order equations: conservativity, normal forms and term rewriting

By Meinke K.  

Journal of Computer and System Sciences, Vol. 67, Iss. 1, 2003-08 ,pp. : 127-173

Elsevier

Access to resources Recommend Favorite