scientific article; zbMATH DE number 4052998
From MaRDI portal
Publication:3789055
Recommendations
Cited in
(22)- Refining multiset transformers
- Distributing a class of sequential programs
- A tuple channel-based coordination model for parallel and distributed programming
- Dag-calculus: a calculus for parallel computation
- PSF -- a retrospective
- Toward formal models of biologically inspired, highly parallel machine cognition
- Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
- scientific article; zbMATH DE number 3907747 (Why is no real title available?)
- scientific article; zbMATH DE number 4082953 (Why is no real title available?)
- scientific article; zbMATH DE number 54245 (Why is no real title available?)
- scientific article; zbMATH DE number 140607 (Why is no real title available?)
- scientific article; zbMATH DE number 139607 (Why is no real title available?)
- scientific article; zbMATH DE number 1948425 (Why is no real title available?)
- scientific article; zbMATH DE number 2013195 (Why is no real title available?)
- scientific article; zbMATH DE number 2079817 (Why is no real title available?)
- Hybrid Parallel Execution Model for Logic-Based Specification Languages
- scientific article; zbMATH DE number 1515854 (Why is no real title available?)
- A programming model and foundation for lineage-based distributed computation
- scientific article; zbMATH DE number 1830942 (Why is no real title available?)
- Parallelism in large software packages (why is it difficult to create efficient software)
- Evolution of a parallel task combinator
- A formal model of a system for automated program parallelization
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 Q3789055)
