Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.

Job Zwiers Willem P. de Roever Peter van Emde Boas

Published in: ICALP (1985)

Keyphrases

social networks
complex systems
search algorithm
information diffusion
telecommunication networks
data sets
information retrieval
genetic algorithm
video sequences
computer networks
concurrent execution