%0 Conference Paper %1 conf/tacas/MichelAV96 %A Michel, François %A Azéma, Pierre %A Vernadat, François %B TACAS %D 1996 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 187-206 %T Permutable Agents in Process Algebras. %U http://dblp.uni-trier.de/db/conf/tacas/tacas96.html#MichelAV96 %V 1055 %@ 3-540-61042-1

@inproceedings{conf/tacas/MichelAV96, added-at = {2021-03-17T00:00:00.000+0100}, author = {Michel, François and Azéma, Pierre and Vernadat, François}, biburl = {https://www.bibsonomy.org/bibtex/2fbc10779c268ded4a09c8639a3b99661/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1996}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/3-540-61042-1_45}, interhash = {be34b1df0f7e8241158bb668d2838e53}, intrahash = {fbc10779c268ded4a09c8639a3b99661}, isbn = {3-540-61042-1}, keywords = {dblp}, pages = {187-206}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:28:12.000+0200}, title = {Permutable Agents in Process Algebras.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas96.html#MichelAV96}, volume = 1055, year = 1996 }