The notions of indistinguishability and "lack of discrepancy" are captured by maximal fixed points. Results in concurrent processes and operational semantics will be discussed.
|Title of host publication||LICS '87|
|Subtitle of host publication||Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science|
|Publisher||Institute of Electrical and Electronics Engineers (IEEE)|
|Number of pages||1|
|Publication status||Published - 1987|