In: Proceedings of the Twenty-First Annual Hawii International Conference on System Sciences, Vol 2, Software Track, pages 648-654. Washington: IEEE Comput. Soc. Press, 1988.
Abstract: A parallel computation model is introduced that is suitable for pursuit of large-scale concurrency. A computation is organized as a network, called a transaction net, of databases connected by transactions. A transaction net is akin to a Petri net, where the token, the place, and the transition corresponds to the data, the database, and the transaction, respectively.