Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman. Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment. In Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN 95), September 20-23, 1995, Las Vegas, Nevada, USA. pages 292, IEEE, 1995. [doi]
Abstract is missing.