Nets of processes and data flow

A. Rabinovich; B. A. Trakhtenbrot

doi:10.1007/BFb0013036

Nets of processes and data flow

A. Rabinovich, B. A. Trakhtenbrot

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop
Editors	J.W. de Bakker, G. Rozenberg, W.-P. de Roever
Publisher	Springer Verlag
Pages	574-602
Number of pages	29
ISBN (Print)	9783540510802
DOIs	https://doi.org/10.1007/BFb0013036
State	Published - 1989
Event	Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988 - Noordwijkerhout, Netherlands Duration: 30 May 1988 → 3 Jun 1988

Publication series

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

Conference

Conference	Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988
Country/Territory	Netherlands
City	Noordwijkerhout
Period	30/05/88 → 3/06/88

Keywords

Compositionality
Data Flow Computation
Denotational Semantics
Nondeterminism
Processes
Synchronization

Access to Document

10.1007/BFb0013036

Cite this

Rabinovich, A., & Trakhtenbrot, B. A. (1989). Nets of processes and data flow. In J. W. de Bakker, G. Rozenberg, & W-P. de Roever (Eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop (pp. 574-602). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 354 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0013036

Rabinovich, A. ; Trakhtenbrot, B. A. / Nets of processes and data flow. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop. editor / J.W. de Bakker ; G. Rozenberg ; W.-P. de Roever. Springer Verlag, 1989. pp. 574-602 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f735303812a94f2ea285929ff32dfaf7,

title = "Nets of processes and data flow",

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.",

keywords = "Compositionality, Data Flow Computation, Denotational Semantics, Nondeterminism, Processes, Synchronization",

author = "A. Rabinovich and Trakhtenbrot, {B. A.}",

note = "Publisher Copyright: {\textcopyright} 1989, Springer-Verlag.; Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988 ; Conference date: 30-05-1988 Through 03-06-1988",

year = "1989",

doi = "10.1007/BFb0013036",

language = "אנגלית",

isbn = "9783540510802",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "574--602",

editor = "{de Bakker}, J.W. and G. Rozenberg and {de Roever}, W.-P.",

booktitle = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop",

}

Rabinovich, A & Trakhtenbrot, BA 1989, Nets of processes and data flow. in JW de Bakker, G Rozenberg & W-P de Roever (eds), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 354 LNCS, Springer Verlag, pp. 574-602, Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988, Noordwijkerhout, Netherlands, 30/05/88. https://doi.org/10.1007/BFb0013036

Nets of processes and data flow. / Rabinovich, A.; Trakhtenbrot, B. A.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop. ed. / J.W. de Bakker; G. Rozenberg; W.-P. de Roever. Springer Verlag, 1989. p. 574-602 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 354 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Nets of processes and data flow

AU - Rabinovich, A.

AU - Trakhtenbrot, B. A.

PY - 1989

Y1 - 1989

N2 - 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.

AB - 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.

KW - Compositionality

KW - Data Flow Computation

KW - Denotational Semantics

KW - Nondeterminism

KW - Processes

KW - Synchronization

UR - http://www.scopus.com/inward/record.url?scp=85030218098&partnerID=8YFLogxK

U2 - 10.1007/BFb0013036

DO - 10.1007/BFb0013036

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85030218098

SN - 9783540510802

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 574

EP - 602

BT - Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop

A2 - de Bakker, J.W.

A2 - Rozenberg, G.

A2 - de Roever, W.-P.

PB - Springer Verlag

T2 - Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988

Y2 - 30 May 1988 through 3 June 1988

ER -

Rabinovich A, Trakhtenbrot BA. Nets of processes and data flow. In de Bakker JW, Rozenberg G, de Roever W-P, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop. Springer Verlag. 1989. p. 574-602. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0013036

Nets of processes and data flow

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this