Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Infinite-State High-Level MSCs: Model-Checking and Realizability
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Infinite-state high-level MSCs: Model-checking and realizability
Journal of Computer and System Sciences
Permutation rewriting and algorithmic verification
Information and Computation
Shared-memory systems and charts
CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
The synthesis problem of netcharts
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Hi-index | 0.00 |