Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
The star problem and the finite power property in trace monoids: reductions beyond C4
Information and Computation
General Morphisms of Petri Nets (Extended Abstract)
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The Star Problem in Trace Monoids: Reductions Beyond C4
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Two techniques in the area of the star problem in trace monoids
Theoretical Computer Science
Theoretical Computer Science
Residual for Component Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Deterministic Shared-Memory Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Products of message sequence charts
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Concurrent automata vs. asynchronous systems
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
| Hi-index | 5.23 |