?url_ver=Z39.88-2004&rft_id=10.1007%2FBFb0013030&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Degano%2C+Pierpaolo&rft.aulast=Degano&rft.aufirst=Pierpaolo&rft.isbn=3-540-51080-X&rft.date=1988&rft.title=Partial+orderings+descriptions+and+observations+of+nondeterministic+concurrent+processes&rft.btitle=Linear+Time%2C+Branching+Time+and+Partial+Order+in+Logics+and+Models+for+Concurrency+(REX+Workshop+1988)&rft.genre=bookitem