%0 Journal Article %1 journals/tcs/Meseguer92 %A Meseguer, José %D 1992 %J Theor. Comput. Sci. %K dblp %N 1 %P 73-155 %T Conditioned Rewriting Logic as a United Model of Concurrency. %U http://dblp.uni-trier.de/db/journals/tcs/tcs96.html#Meseguer92 %V 96

@article{journals/tcs/Meseguer92, added-at = {2023-09-21T00:00:00.000+0200}, author = {Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2aee034cbb226af567489adaf4745be63/dblp}, ee = {https://doi.org/10.1016/0304-3975(92)90182-F}, interhash = {0b66b9c21ea445ecfbbe7e17974e0900}, intrahash = {aee034cbb226af567489adaf4745be63}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {73-155}, timestamp = {2024-04-08T18:46:04.000+0200}, title = {Conditioned Rewriting Logic as a United Model of Concurrency.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs96.html#Meseguer92}, volume = 96, year = 1992 }