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.

Abstract

Abstract is missing.

runs on