Lics

IEEE Symposium on Logic in Computer Science

Invited Paper: Some Uses of Maximal Fixed Points (at LICS 1987)

Abstract

The notions of indistinguishability and "lack of discrepancy" are captured by maximal fixed points. Results in concurrent processes and operational semantics will be discussed.

BibTeX

 @InProceedings{Milner-SomeUsesofMaximalFi,
 author = 	 {Robin Milner},
 title = 	 {Some Uses of Maximal Fixed Points},
 booktitle = {Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)},
 year =	 {1987},
 month =	 {June}, 
 pages = {3--3},
 location = {Ithaca, NY, USA}, 
 note = {Invited Talk},
 publisher =	 {IEEE Computer Society Press}
 }