%0 Book Section %1 books/crc/p/DerrickB16 %A Derrick, John %A Boiten, Eerke A. %B From Action Systems to Distributed Systems %D 2016 %E Petre, Luigia %E Sekerinski, Emil %I Chapman and Hall/CRC %K dblp %P 143-154 %T Relational Concurrent Refinement - Partial and Total Frameworks. %U http://dblp.uni-trier.de/db/books/collections/asds2016.html#DerrickB16 %@ 978-1-4987-0159-4

@incollection{books/crc/p/DerrickB16, added-at = {2016-05-20T00:00:00.000+0200}, author = {Derrick, John and Boiten, Eerke A.}, biburl = {https://www.bibsonomy.org/bibtex/29e42035bb269de8a92657fc2882046f6/dblp}, booktitle = {From Action Systems to Distributed Systems}, crossref = {books/crc/asds2016}, editor = {Petre, Luigia and Sekerinski, Emil}, ee = {http://dx.doi.org/10.1201/b20053-15}, interhash = {2b2aca2133561c66be552c6210b92cd2}, intrahash = {9e42035bb269de8a92657fc2882046f6}, isbn = {978-1-4987-0159-4}, keywords = {dblp}, pages = {143-154}, publisher = {Chapman and Hall/CRC}, timestamp = {2016-05-21T11:35:40.000+0200}, title = {Relational Concurrent Refinement - Partial and Total Frameworks.}, url = {http://dblp.uni-trier.de/db/books/collections/asds2016.html#DerrickB16}, year = 2016 }