scientific article; zbMATH DE number 1501631

MaRDI QIDQ4500378zbMATH OpenFDO

Authors Józef Winkowski

Publication date 4 September 2000

zbMATH Keywords

algebra of processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3978362
• An algebra of processes
• scientific article; zbMATH DE number 4062567
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 5263402

Cited in

(18)

• Algebraic calculi of processes and net expressions
• An algebra of processes
• Mediator Synthesis in a Component Algebra with Data
• Data Flow Analysis for CCS
• scientific article; zbMATH DE number 3903943 (Why is no real title available?)
• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• A many sorted algebra based signal processing data flow language
• scientific article; zbMATH DE number 4062567 (Why is no real title available?)
• A process calculus with finitary comprehended terms
• scientific article; zbMATH DE number 517054 (Why is no real title available?)
• scientific article; zbMATH DE number 742725 (Why is no real title available?)
• scientific article; zbMATH DE number 1534595 (Why is no real title available?)
• scientific article; zbMATH DE number 782044 (Why is no real title available?)
• Algebraic meta-theory of processes with data
• Processes with multiple entries and exits
• Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
• Communicating Sequential Processes. The First 25 Years
• The algebra of stream processing functions

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 Q4500378)