%0 Book Section %1 queille_82_specification %A Queille, J. %A Sifakis, J. %D 1982 %J International Symposium on Programming %K 1982 %P 337--351 %R 10.1007/3-540-11494-7_22 %T Specification and verification of concurrent systems in CESAR %U http://dx.doi.org/10.1007/3-540-11494-7_22 %X The aim of this paper is to illustrate by an example, the alternating bit protocol, the use of CESAR, an interactive system for aiding the design of distributed applications.

@incollection{queille_82_specification, abstract = {The aim of this paper is to illustrate by an example, the alternating bit protocol, the use of CESAR, an interactive system for aiding the design of distributed applications.}, added-at = {2009-02-12T11:39:58.000+0100}, author = {Queille, J. and Sifakis, J.}, biburl = {https://www.bibsonomy.org/bibtex/2cbe032691e064c48b95e79b7c3596eb8/leonardo}, citeulike-article-id = {2882655}, doi = {10.1007/3-540-11494-7_22}, interhash = {a9c15e5a4f41c945797b0618c0593ac3}, intrahash = {cbe032691e064c48b95e79b7c3596eb8}, journal = {International Symposium on Programming}, keywords = {1982}, pages = {337--351}, posted-at = {2008-06-11 13:52:08}, priority = {2}, timestamp = {2009-02-12T11:39:58.000+0100}, title = {Specification and verification of concurrent systems in CESAR}, url = {http://dx.doi.org/10.1007/3-540-11494-7_22}, year = 1982 }