Automata and processes on multisets of communicating objects

By Yang Linmin  

Natural Computing, Vol. 9, Iss. 4, 2010-12 ,pp. : 865-887

Springer Publishing Company

Access to resources Recommend Favorite

A semantics of communicating reactive objects with timing

By Hooman Jozef   Zwaag Mark  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 97-112

Springer Publishing Company

Access to resources Recommend Favorite

Weak Behavioral Subtyping for Types with Mutable Objects

By Dhara K.K.   Leavens G.T.  

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite

Principles of programming with complex objects and collection types

By Buneman P.   Naqvi S.   Tannen V.   Wong L.  

Theoretical Computer Science, Vol. 149, Iss. 1, 1995-09 ,pp. : 3-48

Elsevier

Access to resources Recommend Favorite

A Problem of Pattern Recognition in Arrays of Interrelated Objects. Recognition Algorithm

By Dvoenko S.   Kopylov A.   Mottl V.  

Automation and Remote Control, Vol. 66, Iss. 12, 2005-12 ,pp. : 2019-2032

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite