%0 Conference Paper %1 conf/scc/HewittAL79 %A Hewitt, Carl %A Attardi, Giuseppe %A Lieberman, Henry %B Semantics of Concurrent Computation %D 1979 %E Kahn, Gilles %I Springer %K dblp %P 316-336 %T Specifying and Proving Properties of Guardians for Distributed Systems. %U http://dblp.uni-trier.de/db/conf/scc/scc1979.html#HewittAL79 %V 70 %@ 3-540-09511-X

@inproceedings{conf/scc/HewittAL79, added-at = {2017-05-19T00:00:00.000+0200}, author = {Hewitt, Carl and Attardi, Giuseppe and Lieberman, Henry}, biburl = {https://www.bibsonomy.org/bibtex/246e625476a269c0d4a2bcb1d1606b996/dblp}, booktitle = {Semantics of Concurrent Computation}, crossref = {conf/scc/1979}, editor = {Kahn, Gilles}, ee = {https://doi.org/10.1007/BFb0022477}, interhash = {451fbe1fd20f73505686b9182b82e758}, intrahash = {46e625476a269c0d4a2bcb1d1606b996}, isbn = {3-540-09511-X}, keywords = {dblp}, pages = {316-336}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:47:31.000+0200}, title = {Specifying and Proving Properties of Guardians for Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/scc/scc1979.html#HewittAL79}, volume = 70, year = 1979 }