Abstract:A b s t r a c tConcurrent systems in which the number of processes and their interconnections can change dynamically suffer from the problem of ensuring that process interconnections are correctly maintained at all times. We propose a hybrid solution to this problem in which processes are described textually, but interconnections are described graphically using a graph grammar to constrain the legal sets of processes and interconnections that the system may evolve. This paper discusses GARP, a hybrid graphical… Show more
Specificationof parallel and distributed systems is difficult because it involves describing a two dimensional relationship between the flow of control of many processes and the synchronized flow of data between those processes. Many re-
Specificationof parallel and distributed systems is difficult because it involves describing a two dimensional relationship between the flow of control of many processes and the synchronized flow of data between those processes. Many re-
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.