Treffer: Undecidability of Bisimilarity by Defender's Forcing.
Title:
Undecidability of Bisimilarity by Defender's Forcing.
Authors:
Janč, Petr1, Sarba, Jiří2 srba@cs.aau.dk
Source:
Journal of the ACM. Feb2008, Vol. 55 Issue 1, p1-26. 26p. 3 Diagrams, 2 Charts.
Database:
Business Source Ultimate