Talk:Behavioral completeness
From CSSEMediaWiki
(Difference between revisions)
Line 1: | Line 1: | ||
− | I threw this together on a whim. I think I am on the right track here. I also found this paper, [http://www.cs.ru.nl/ftfjp/2005/Pierik.pdf Pierik], which defines and compares | + | I threw this together on a whim. I think I am on the right track here. I also found this paper, [http://www.cs.ru.nl/ftfjp/2005/Pierik.pdf Pierik], which defines and compares Behavioural and Relative Completeness. Alas, I am not equipped with the skills to interpret their definition :( -[[User:Tureiti Keith|TK]] 04:49, 14 September 2008 (UTC) |
Revision as of 04:50, 14 September 2008
I threw this together on a whim. I think I am on the right track here. I also found this paper, Pierik, which defines and compares Behavioural and Relative Completeness. Alas, I am not equipped with the skills to interpret their definition :( -TK 04:49, 14 September 2008 (UTC)