Keyword: estelle

• Alekseev, A.G.; Bystrov, A.V.; Kurtov, S.A.; Mylnikov, S.P.; Nepomnyashchy, V.A.; Okunishnikova, E.V.; Chubarev, P.A.; Churina, T.G.:
  Application of Petri nets in verification of distributed systems represented in the Estelle language. 1999.

• Jirachiefpattana, Ajin; Lai, Richard:
  An NPN system for Estelle verification. 1996.

• Nützel, Jürgen; Fengler, Wolfgang:
  Analysis and Verification of High-Level-Nets in Combination with Formal Estelle Specifications. 1995.

• Abburi, R.; Gildea, K.J.; Krishnamoorthy, M.S.; Ramamurthy, B.:
  Protenv: a Programming Environment for Protocol Development. 1990.

• Desaqui-Sannes, P.:
  Prototyping of a Protocol Validation Environment: Application to the Estelle Approach. 1990.

• Diaz, Michel; Courtiat, Jean-Pierre:
  Models and Environments for Designing Open Distributed Systems Using Formal Approaches. 1990.

Back to the Petri Nets Bibliography