%0 Report %1 Alexiev1998-distributedSynchronization %A Alexiev, Vladimir %D 1998 %K communication distributed_synchronization input_prefix pi-calculus %T Distributed Synchronization in a pi-Calculus with Bidirectional Communication %U http://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1998-distributedSynchronization.pdf %X The (input) prefix operation of the pi-calculus expresses global synchronization (blocking) of the prefixed process. We show how to implement synchronization in a completely distributed manner, by using bidirectional atomic communication and the principle of provision (data-dependency-based synchronization)

@techreport{Alexiev1998-distributedSynchronization, abstract = {The (input) prefix operation of the pi-calculus expresses global synchronization (blocking) of the prefixed process. We show how to implement synchronization in a completely distributed manner, by using bidirectional atomic communication and the principle of provision (data-dependency-based synchronization)}, added-at = {2021-08-25T16:07:36.000+0200}, author = {Alexiev, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/20d0f8afa4433358569a8794af6de6e71/valexiev}, institution = {University of Alberta}, interhash = {2d212b5cb9c63a2f6f389520867485d5}, intrahash = {0d0f8afa4433358569a8794af6de6e71}, keywords = {communication distributed_synchronization input_prefix pi-calculus}, month = jan, timestamp = {2021-08-25T16:07:36.000+0200}, title = {{Distributed Synchronization in a pi-Calculus with Bidirectional Communication}}, url = {http://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1998-distributedSynchronization.pdf}, url_citeseer = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.8273}, year = 1998 }