"2003-10-06+02:00"^^ . "IEEE Computer Society" . "RIV/00216224:14330/03:00008253!RIV08-MSM-14330___" . . . . . . . "[D2BA595C7742]" . "The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well." . "Visual Specification of Concurrent Systems"@en . "The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well."@en . . . . "4"^^ . . . . "Montreal, Quebec, Canada" . "\u0160afr\u00E1nek, David" . "Montreal, Quebec, Canada" . . "P(GA201/03/1161), Z(MSM 143300001)" . . . "0-7695-2035-9" . . "visual specification; concurrent systems; coordination models"@en . "Visual Specification of Concurrent Systems"@cs . "369-372" . "1"^^ . "\u010Cl\u00E1nek obsahuje presentaci navrhovan\u00E9ho visu\u00E1ln\u00EDho formalismu pro popis soub\u011B\u017En\u00FDch syst\u00E9m\u016F. Hlavn\u00ED aspekty formalismu jsou uva\u017Eov\u00E1ny s respektem vlastnost\u00ED komponentov\u011B orientovan\u00FDch syst\u00E9m\u016F. Z hlediska s\u00E9mantiky je d\u016Fraz kladen na mo\u017Enost popisu syst\u00E9m\u016F slo\u017Een\u00FDch z komponent heterogenn\u00EDho charakteru (r\u016Fzn\u00FDch model\u016F v\u00FDpo\u010Dtu)."@cs . "RIV/00216224:14330/03:00008253" . "Visual Specification of Concurrent Systems"@cs . "1"^^ . . "633079" . "14330" . "Visual Specification of Concurrent Systems" . "18th IEEE International Conference on Automated Software Engineering" . . "Visual Specification of Concurrent Systems"@en . "Visual Specification of Concurrent Systems" .