Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi، نويسنده , , Khaled El-Fakih، نويسنده , , Gregor von Bochmann ، نويسنده , , Teruo Higashino ، نويسنده ,

روزنامه با شماره پیاپی سال 2003

15

21

35

Distributed system – Service specification – Protocolspecification – Protocol synthesis – Protocol re-synthesis– Petri net

DISTRIBUTED COMPUTING

2003

DISTRIBUTED COMPUTING

297755