مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Modularity for teams of I/O automata

Author/Authors :

Maurice H. ter Beek، نويسنده , , Jetty Kleijn، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

From page :

487

To page :

495

Keywords :

formal methods , Distributed Systems , I/O automata , Team automata

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130126

Link To Document :