Nets of processes and data flow

Authors:
Alexander Moshe Rabinovich;Boris A. Trakhtenbrot
Affiliations:
-;-
Venue:
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Year:
1988

Citing 0
Cited 6

On oraclizable networks and Kahn's principle

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A relational model of non-deterministic dataflow

Mathematical Structures in Computer Science
A fully abstract trace model for dataflow and asynchronous networks

Distributed Computing
From logic to theoretical computer science: an update

Pillars of computer science
Boris A. Trakhtenbrot: academic genealogy and publications

Pillars of computer science
Compositional Proofs For Networks Of Processes

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract