%0 Journal Article %1 journals/pacmpl/GriffinLSY20 %A Griffin, Jeremiah %A Lesani, Mohsen %A Shadab, Narges %A Yin, Xizhe %D 2020 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 123:1-123:30 %T TLC: temporal logic of distributed components. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#GriffinLSY20 %V 4

@article{journals/pacmpl/GriffinLSY20, added-at = {2021-02-17T00:00:00.000+0100}, author = {Griffin, Jeremiah and Lesani, Mohsen and Shadab, Narges and Yin, Xizhe}, biburl = {https://www.bibsonomy.org/bibtex/29dec7c82517ccf8c1bc9ef4db5f443fe/dblp}, ee = {https://doi.org/10.1145/3409005}, interhash = {d57ba5e1f782e2f842cdf347767966ae}, intrahash = {9dec7c82517ccf8c1bc9ef4db5f443fe}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {123:1-123:30}, timestamp = {2024-04-08T09:54:20.000+0200}, title = {TLC: temporal logic of distributed components.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#GriffinLSY20}, volume = 4, year = 2020 }