Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets

GĂ©rard Berthelot, Richard Terrat. Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. In Claude Girault, Wolfgang Reisig, editors, Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981. Volume 52 of Informatik-Fachberichte, pages 251-257, Springer, 1981.

Abstract

Abstract is missing.