%0 Conference Paper %1 conf/concur/BarringerK84 %A Barringer, Howard %A Kuiper, Ruurd %B Seminar on Concurrency %D 1984 %E Brookes, Stephen D. %E Roscoe, A. W. %E Winskel, Glynn %I Springer %K dblp %P 35-61 %T Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. %U http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84 %V 197 %@ 0-387-15670-4

@inproceedings{conf/concur/BarringerK84, added-at = {2023-11-21T00:00:00.000+0100}, author = {Barringer, Howard and Kuiper, Ruurd}, biburl = {https://www.bibsonomy.org/bibtex/2c26875121bcaf0ae8c297ed76ba0109d/dblp}, booktitle = {Seminar on Concurrency}, crossref = {conf/concur/1984}, editor = {Brookes, Stephen D. and Roscoe, A. W. and Winskel, Glynn}, ee = {https://doi.org/10.1007/3-540-15670-4_2}, interhash = {cf265d1193c716b706e2c16b8ab39f75}, intrahash = {c26875121bcaf0ae8c297ed76ba0109d}, isbn = {0-387-15670-4}, keywords = {dblp}, pages = {35-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:32:41.000+0200}, title = {Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84}, volume = 197, year = 1984 }