scientific article; zbMATH DE number 4119609

MaRDI QIDQ4733393zbMATH OpenFDO

Authors Alexander Rabinovich, B. A. Trakhtenbrot

Publication date 1989

zbMATH Keywords

compositionalitydata flow computationdenotational semanticsnondeterminismprocessessynchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A proof of the Kahn principle for input/output automata
• Linear dynamic Kahn networks are deterministic
• A generalized Kahn Principle for abstract asynchronous networks
• scientific article; zbMATH DE number 4180816
• scientific article; zbMATH DE number 177822

Cited in

(16)

• The expressive power of indeterminate dataflow primitives
• P/R nets and process concepts. I
• P/R nets and process concepts. II
• A proof of the Kahn principle for input/output automata
• A non-standard semantics for Kahn networks in continuous time
• scientific article; zbMATH DE number 4180816 (Why is no real title available?)
• scientific article; zbMATH DE number 3845063 (Why is no real title available?)
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• Nets, Terms and Formulas
• scientific article; zbMATH DE number 177822 (Why is no real title available?)
• scientific article; zbMATH DE number 177823 (Why is no real title available?)
• scientific article; zbMATH DE number 1956562 (Why is no real title available?)
• Compiling process networks to interaction nets
• Towards a complete hierarchy of compositional dataflow models
• From Logic to Theoretical Computer Science – An Update
• A generalized Kahn Principle for abstract asynchronous networks

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733393)