Some Uses of Maximal Fixed Points (Abstract of Invited Lecture)

Robin Milner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationLICS '87
Subtitle of host publicationProceedings of the Second Annual IEEE Symposium on Logic in Computer Science
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages3
Number of pages1
Publication statusPublished - 1987

Fingerprint

Dive into the research topics of 'Some Uses of Maximal Fixed Points (Abstract of Invited Lecture)'. Together they form a unique fingerprint.

Cite this