Ett parallellt system av synkrona kommunikationsmedel är monterat från enklare sekventiella medel genom parallell sammansättning och döljande. Till exempel, dölja en 1 ; : : a l in (p 1 kp 2 : : : kp n ) beskriver systemet av kommunikationsagenter p 1 ; : : : p n där kommunikation händelser a 1 ; : : a l är dolda. Begrunda beskrivningar av två system p och q av synkront kommunicerande nite statliga agenter. Anta att man vill kontrollera om p q för en av de allmänt använda likvärdighet. Vi visar att denna fråga är svår för alla ekvivalenser som ligger mellan stark bisimulation och spår ekvivalenser. För vissa ekvivalenser är exponentiellt lägre och övre gränser bevisat. Vi visar också att detta problem är NP hårt och co-NP hårt även för en klass av mycket enkla nite agenter. Denna förordning träder i kraft den tjugonde dagen efter det att den har offentliggjorts i Europeiska unionens officiella tidning.
Det förmodades också i REF att problemet är EXPTIME-hård för alla samband mellan tvåsimilaritet och spår ekvivalens.
Complexity of Equivalence Problems for Concurrent Systems of Finite Agents
{'venue': None, 'journal': 'Informs Journal on Computing', 'mag_field_of_study': ['Computer Science', 'Mathematics']}