%0 Book Section %1 janssen1995layers %A Janssen, Wil %B Tools and Algorithms for the Construction and Analysis of Systems %D 1995 %E Brinksma, Ed %E Cleaveland, Rance %E Larsen, Kim Guldstrand %E Margaria, Tiziana %E Steffen, Bernhard %I Springer Berlin Heidelberg %K decomposition event layered structures %P 238-263 %R 10.1007/3-540-60630-0_12 %T Layers as Knowledge Transitions in the Design of Distributed Systems. %U http://dx.doi.org/10.1007/3-540-60630-0_12 %V 1019 %X Knowledge based logics allow to give generic specifications of classes of network protocols. This genericity is combined with methods to derive sequentially structured or %@ 978-3-540-60630-7

@incollection{janssen1995layers, abstract = {Knowledge based logics allow to give generic specifications of classes of network protocols. This genericity is combined with methods to derive sequentially structured or }, added-at = {2015-03-09T14:16:34.000+0100}, author = {Janssen, Wil}, biburl = {https://www.bibsonomy.org/bibtex/25bc0218b98c5d71c3851311f3485ecf8/schlitsch}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, description = {Layers as knowledge transitions in the design of distributed systems - Springer}, doi = {10.1007/3-540-60630-0_12}, editor = {Brinksma, Ed and Cleaveland, Rance and Larsen, Kim Guldstrand and Margaria, Tiziana and Steffen, Bernhard}, interhash = {f5ad4fa9e6811c41417d96afe928c476}, intrahash = {5bc0218b98c5d71c3851311f3485ecf8}, isbn = {978-3-540-60630-7}, keywords = {decomposition event layered structures}, language = {English}, pages = {238-263}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2015-03-09T14:16:34.000+0100}, title = {Layers as Knowledge Transitions in the Design of Distributed Systems.}, url = {http://dx.doi.org/10.1007/3-540-60630-0_12}, volume = 1019, year = 1995 }