The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets

Charles Lakos, John Lamp. The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. In Jonathan Billington, Michel Diaz, Grzegorz Rozenberg, editors, Application of Petri Nets to Communication Networks, Advances in Petri Nets. Volume 1605 of Lecture Notes in Computer Science, pages 37-68, Springer, 1999.

Abstract

Abstract is missing.