%0 Conference Paper %1 conf/lics/BaldamusPV04 %A Baldamus, Michael %A Parrow, Joachim %A Victor, Björn %B LICS %D 2004 %I IEEE Computer Society %K dblp %P 22-31 %T Spi Calculus Translated to ?--Calculus Preserving May-Tests. %U http://dblp.uni-trier.de/db/conf/lics/lics2004.html#BaldamusPV04 %@ 0-7695-2192-4

@inproceedings{conf/lics/BaldamusPV04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Baldamus, Michael and Parrow, Joachim and Victor, Björn}, biburl = {https://www.bibsonomy.org/bibtex/21647795c89c04a2e32e9cbb4182c40e3/dblp}, booktitle = {LICS}, crossref = {conf/lics/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319597}, interhash = {44c03840f7b78142be75be78727ed59b}, intrahash = {1647795c89c04a2e32e9cbb4182c40e3}, isbn = {0-7695-2192-4}, keywords = {dblp}, pages = {22-31}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:20.000+0200}, title = {Spi Calculus Translated to ?--Calculus Preserving May-Tests.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2004.html#BaldamusPV04}, year = 2004 }