´Ü¾î | Á¶ÀÎ ÀÚ¹Ù |
---|---|
Join Java | |
¼³¸í | Á¶ÀÎ ÀÚ¹Ù(Join Java)´Â Join CalculusÀÇ Join Semantics·Î Ç¥ÁØ ÀÚ¹Ù ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ È®ÀåµÈ ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÌ´Ù. Von Itzstein ¹Ú»ç¿¡ ÀÇÇØ ³² ¿À½ºÆ®·¹Àϸ®¾Æ ´ëÇп¡ À籸¼º°¡´É ÄÄÇ»Æà ·¦(Reconfigurable Computing Lab)¿¡¼ ¾²¿© Á³´Ù. Á¶ÀÎ ÀÚ¹Ù´Â Åë½Å ¼ø¼ ÇÁ·Î¼¼½º(CSP), Åë½Å ½Ã½ºÅÛÀÇ °è»ê(CCS)°ú Pi´Â ³ôÀº ¼öÁØÀÇ µ¿±âÈ ÇൿµéÀÌ µ¿½Ã½ÇÇà ÇÁ·Î¼¼½ºÀÇ ÀÎÅÍÆäÀ̽º¿¡¼ À̺¥Æ®µéÀÇ ÇÕ¼ºÀ» ÅëÇÏ¿© ÇÔÃàÀûÀ¸·Î Á¤Àǵǵµ·Ï ÇÑ´Ù. ÇÑÆíÀ¸·Î Á¶ÀÎ °è»êÀº, Ãà¼Ò ±ÔÄ¢À¸·Î Á¤ÀÇµÈ À̺¥Æ®µéÀÇ À§Ä¡Àû µ¿½Ã¹ß»ý¿¡ ±â¹ÝÇÑ ¸í¹éÇÑ µ¿±âȸ¦ °¡Áø´Ù. Á¶ÀÎ ½Ã¸ÇƽÀº ¸ðµâÈÀÇ °´Ã¼ ÁöÇâ °³³äÀ» À§¹ÝÇÏÁö ¾Ê´Â µ¿±âÈÀÇ ¸í¹éÇÑ Ç¥ÇöÀ» ¿øÇÏ´Â ÁÖ·ù ÇÁ·Î±×·¡¸Óµé¿¡°Ô °¡Àå ÀûÇÕÇÏ°Ô º¸ÀδÙ. Á¶ÀÎÀº ÀÚ¹Ù¿Í °°Àº µ¿Àû ¾ð¾îµé°ú °°Àº µ¿Àû »ý¼º°ú ÇÁ·Î¼¼½º, ä³ÎµéÀÇ ¼Ò¸êÀ» ½±°Ô Ç¥ÇöÇÑ´Ù. Á¶ÀÎ ÀÚ¹Ù ¾ð¾î´Â ³·Àº ¼öÁØÀÇ ¸ð´ÏÅÍ È£Ãâ¿¡ ¶Ñ·ÇÇÔ ¾øÀÌ ÀÎÁõÇÑ µ¿½Ã ½ÇÇà ÆÐÅϵéÀ» °¡»óÀ¸·Î Ç¥ÇöÇÒ ¼ö ÀÖ´Ù. ÀϹÝÀûÀ¸·Î, Á¶ÀÎ ÀÚ¹Ù ÇÁ·Î±×·¥µéÀº µ¿µîÇÑ Àڹٵ麸´Ù ´õ °£°áÇÏ´Ù. |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.