External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Protocol Specification Language with a High-Level Petri Net Semantics

Belhassen Zouari, Serge Haddad, Mohamed Taghelit. A Protocol Specification Language with a High-Level Petri Net Semantics. In Michel Cosnard, Ramón Puigjaner, editors, Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993. Volume A-39 of IFIP Transactions, pages 225-241, North-Holland, 1993.

Authors

Belhassen Zouari

This author has not been identified. Look up 'Belhassen Zouari' in Google

Serge Haddad

This author has not been identified. Look up 'Serge Haddad' in Google

Mohamed Taghelit

This author has not been identified. Look up 'Mohamed Taghelit' in Google
runs on