Safety of a Session Guarantees Protocol Using Plausible Clocks

Brzeziński, Jerzy; Kalewski, Michał; Sobaniec, Cezary

by Jerzy Brzeziński, Michał Kalewski, Cezary Sobaniec

Reference:

Safety of a Session Guarantees Protocol Using Plausible Clocks (Jerzy Brzeziński, Michał Kalewski, Cezary Sobaniec), In Proc.\ of the 7th Int.\ Conf.\ on Parallel Processing and Applied Mathematics, volume 4967, 2007.

Bibtex Entry:

@INPROCEEDINGS{BKS07,
  author = {Jerzy Brzeziński and Michał Kalewski and Cezary Sobaniec},
  title = {Safety of a Session Guarantees Protocol Using Plausible Clocks},
  booktitle = {Proc.\ of the 7th Int.\ Conf.\ on Parallel Processing and Applied
	Mathematics},
  year = {2007},
  volume = {4967},
  series = LNCS,
  pages = {1--10},
  address = {Gdańsk, Poland},
  month = sep,
  keywords = {replication, session guarantees}
}