From post

Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.

, , и . PPAM, том 3019 из Lecture Notes in Computer Science, стр. 298-305. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability., , и . RTA, том 1833 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2000)De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems., , и . VTC Spring, стр. 1-5. IEEE, (2011)Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions., , и . VTC Spring, стр. 1-5. IEEE, (2016)TV white space availability in Japan estimated using D/U-based and I/N-based protection rules., , и . GLOBECOM, стр. 1302-1307. IEEE, (2012)Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query., , и . ICCCS, стр. 257-262. IEEE, (2019)Optimal Run Problem for Weighted Register Automata., , и . ICTAC, том 11884 из Lecture Notes in Computer Science, стр. 91-110. Springer, (2019)Active Learning for Deterministic Bottom-Up Nominal Tree Automata., , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 342-359. Springer, (2022)Reactive Synthesis from Visibly Register Pushdown Automata., , и . ICTAC, том 12819 из Lecture Notes in Computer Science, стр. 334-353. Springer, (2021)Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments., , , , , , , , и . VTC Fall, стр. 1-5. IEEE, (2017)Availability checking of dynamic spatial information for automobiles., , , и . ICSRS, стр. 505-511. IEEE, (2017)