%0 Conference Paper %1 journals/corr/abs-1202-6124 %A Stokkink, Gerjan %A Timmer, Mark %A Stoelinga, Mariëlle %B MBT %D 2012 %E Petrenko, Alexander K. %E Schlingloff, Holger %K %P 73-87 %T Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation %U http://dblp.uni-trier.de/db/series/eptcs/eptcs80.html#abs-1202-6124 %V 80

@inproceedings{journals/corr/abs-1202-6124, added-at = {2023-12-12T22:43:53.000+0100}, author = {Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/2088223bcc60cef4edfe098dc78b7913a/admin}, booktitle = {MBT}, crossref = {journals/corr/abs-1202-5826}, editor = {Petrenko, Alexander K. and Schlingloff, Holger}, ee = {http://arxiv.org/abs/1202.6124}, interhash = {4d7f04e29bcc35146e62935ca9073b36}, intrahash = {088223bcc60cef4edfe098dc78b7913a}, keywords = {}, pages = {73-87}, series = {EPTCS}, timestamp = {2023-12-12T22:43:53.000+0100}, title = {Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs80.html#abs-1202-6124}, volume = 80, year = 2012 }