Bruno Salinier, Robert Strandh
Simulating Forward-Branching Systems with Constructor Systems
TAPSOFT, 1997.
@inproceedings{TAPSOFT-1997-SalinierS, author = "Bruno Salinier and Robert Strandh", booktitle = "{Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/BFb0030593", isbn = "3-540-62781-2", pages = "153--164", publisher = "{Springer}", title = "{Simulating Forward-Branching Systems with Constructor Systems}", year = 1997, }