%0 Conference Paper %1 conf/concur/ReedR89 %A Reed, George M. %A Roscoe, A. W. %B Concurrency: Theory, Language, And Architecture %D 1989 %E Yonezawa, Akinori %E Ito, Takayasu %I Springer %K dblp %P 36-63 %T Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. %U http://dblp.uni-trier.de/db/conf/concur/concur1989.html#ReedR89 %V 491 %@ 3-540-53932-8

@inproceedings{conf/concur/ReedR89, added-at = {2020-05-18T00:00:00.000+0200}, author = {Reed, George M. and Roscoe, A. W.}, biburl = {https://www.bibsonomy.org/bibtex/235eeffe08cec295124730da40f038732/dblp}, booktitle = {Concurrency: Theory, Language, And Architecture}, crossref = {conf/concur/1989}, editor = {Yonezawa, Akinori and Ito, Takayasu}, ee = {https://doi.org/10.1007/3-540-53932-8_43}, interhash = {d34937c3de773c7d4b1717b6b106a5fc}, intrahash = {35eeffe08cec295124730da40f038732}, isbn = {3-540-53932-8}, keywords = {dblp}, pages = {36-63}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-19T12:37:12.000+0200}, title = {Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1989.html#ReedR89}, volume = 491, year = 1989 }