@inproceedings{53629c74ac184770b2f67e4002f9265d,
title = "GCCS: A graphical coordination language for system specification",
abstract = "We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represents a coordination model based on process algebra. Its coordination laws, given as a structural operational semantics, allow one to infer atomic system transitions on the basis of transitions taken by system components. We illustrate the language{\textquoteright}s utility by exhibiting a GCCS-coordinated specification of the Rether real-time ethernet protocol. The specification contains both graphical and textual components.",
author = "Rance Cleaveland and Xiaoqun Du and Smolka, \{Scott A.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 4th International Conference on Coordination Languages and Models, COORDINATION 2000 ; Conference date: 11-09-2000 Through 13-09-2000",
year = "2000",
doi = "10.1007/3-540-45263-x\_18",
language = "English",
isbn = "9783540410201",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "284--298",
editor = "Porto, \{Ant{\'o}nio \} and Gruia-Catalin Roman",
booktitle = "Coordination Languages and Models",
}