Thumbnail - Request a copy

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

Zouari, Belhassen; Taghelit, Mohamed; Haddad, Serge (1993), A Protocol Specification Language with a High-level Petri Net Semantics, in Cosnard, Michel; Puigjaner, Ramon, 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, North Holland, p. 225-241

Type
Communication / Conférence
Date
1993
Conference title
International Conference on Decentralized and Distributed Systems (IFIP WG10.3)
Conference date
1993-09
Conference city
Palma de Mallorca
Conference country
Espagne
Book title
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
Book author
Cosnard, Michel; Puigjaner, Ramon
Publisher
North Holland
ISBN
0-444-81791-3
Pages
225-241
Metadata
Show full item record
Author(s)
Zouari, Belhassen
Taghelit, Mohamed
Haddad, Serge
Subjects / Keywords
Petri nets