View Item 

Show simple item record

On the relationships between Scott domains, synchronization trees, and metric spaces

dc.contributor.authorRounds, William C.en_US
dc.date.accessioned2006-04-07T19:02:38Z
dc.date.available2006-04-07T19:02:38Z
dc.date.issued1985en_US
dc.identifier.citationRounds, William C. (1985)."On the relationships between Scott domains, synchronization trees, and metric spaces." Information and Control 66(1-2): 6-28. <http://hdl.handle.net/2027.42/25621>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B7MFM-4G3DGHT-1N/2/c884836cc51bc76faab56083d4490b75en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/25621
dc.description.abstractWe use Scott's idea of information systems to provide a complete partial order semantics for concurrency involving Milner's synchronization tree model. Several connections are investigated between different models; our principal technique in establishing these connections is the use of compact metric space methods.en_US
dc.format.extent834984 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleOn the relationships between Scott domains, synchronization trees, and metric spacesen_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelScience (General)en_US
dc.subject.hlbsecondlevelInformation and Library Scienceen_US
dc.subject.hlbsecondlevelComputer Scienceen_US
dc.subject.hlbtoplevelScienceen_US
dc.subject.hlbtoplevelSocial Sciencesen_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumDepartment of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, Michigan 48109 USAen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/25621/1/0000170.pdfen_US
dc.identifier.sourceInformation and Controlen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000170.pdf
Size:
815.4KB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.