%0 Conference Paper %1 journals/entcs/BravettiG99 %A Bravetti, Mario %A Gorrieri, Roberto %B EXPRESS %D 1999 %E Castellani, Ilaria %E Victor, Björn %I Elsevier %K dblp %P 107-126 %T Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. %U http://dblp.uni-trier.de/db/journals/entcs/entcs27.html#BravettiG99 %V 27

@inproceedings{journals/entcs/BravettiG99, added-at = {2021-02-12T00:00:00.000+0100}, author = {Bravetti, Mario and Gorrieri, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/251c1dd8d688e502f505aae24d388db57/dblp}, booktitle = {EXPRESS}, crossref = {conf/express/1999}, editor = {Castellani, Ilaria and Victor, Björn}, ee = {https://doi.org/10.1016/S1571-0661(05)80298-1}, interhash = {14e44306bc4764ad14a51459151fc96e}, intrahash = {51c1dd8d688e502f505aae24d388db57}, keywords = {dblp}, pages = {107-126}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T21:48:18.000+0200}, title = {Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs27.html#BravettiG99}, volume = 27, year = 1999 }