io-port.net

first | previous | 1 | next | last

Result 1 to 6 of 6 total

io-port 05466679 Boussetta, Slim; El Fallah Seghrouchni, Amal; Haddad, Serge; Moraitis, Pavlos; Taghelit, Mohamed

Rational agent coordination through distributed planning. (Coordination d’agents rationnels par planification distribuee.) (English)

Rev. Int. CFAO Inform. Graph. 12, No. 1, 73-101 (1998).

Classification: I.2.8

io-port 05384109 Haddad, Serge; Ilie, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice

Protocols analysis by means of high-level Petri nets. (Contribution des réseaux de Petri de haut niveau pour l’\ïetude des protocoles.) (English)

RAIRO, Tech. Sci. Inf. 16, No. 6, 701-723 (1997).

Classification: C.2.2 D.2.2 D.2.4 F.4

io-port 01920518 Haddad, Serge; Ilie, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice

Contribution des réseaux de Petri de haut niveau pour l’étude des protocoles. Protocols analysis by means of high-level Petri nets. (French)

RAIRO, Tech. Sci. Inf. 16, No. 6, 701-723 (1997).

Classification: C.2.2 D.2.2 D.2.4 F.4

io-port 70093704 Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen

Symbolic reachability graph and partial symmetries (English)

Application and Theory of Petri Nets, 238-257 (1995).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70591816 Haddad, Serge; Taghelit, Mohamed; Zouari, Belhassen

Assessment of ESTELLE and EDT through real case studies (English)

PSTV, 223-238 (1993).

io-port 70662643 Zouari, Belhassen; Haddad, Serge; Taghelit, Mohamed

A protocol specification language with a high-level Petri net semantics (English)

Decentralized and Distributed Systems, 225-241 (1993).

first | previous | 1 | next | last

Result 1 to 6 of 6 total