Nets of processes and data flow

A. Rabinovich, B. A. Trakhtenbrot

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations

Abstract

Nets of Processes provide a unifying approach to semantics of concurrently executing agents. In this framework modularity and Kahn's principle are investigated for Data Flow Networks.

Original languageEnglish
Title of host publicationLinear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop
EditorsJ.W. de Bakker, G. Rozenberg, W.-P. de Roever
PublisherSpringer Verlag
Pages574-602
Number of pages29
ISBN (Print)9783540510802
DOIs
StatePublished - 1989
EventWorkshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988 - Noordwijkerhout, Netherlands
Duration: 30 May 19883 Jun 1988

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume354 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceWorkshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988
Country/TerritoryNetherlands
CityNoordwijkerhout
Period30/05/883/06/88

Keywords

  • Compositionality
  • Data Flow Computation
  • Denotational Semantics
  • Nondeterminism
  • Processes
  • Synchronization

Fingerprint

Dive into the research topics of 'Nets of processes and data flow'. Together they form a unique fingerprint.

Cite this