Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments.
Enrico BarbieratoMarco GribaudoMauro IaconoPublished in: ASMTA (2019)
Keyphrases
- map reduce
- directed acyclic graph
- process algebra
- concurrent systems
- model checking
- formal specification
- parallel computation
- asynchronous circuits
- cloud computing
- formal methods
- open source
- parallel computing
- web services composition
- communication protocols
- efficient implementation
- recently developed
- directed graph
- temporal logic
- community detection
- parallel machines
- petri net
- random variables
- parallel implementation
- parallel algorithm
- data management
- databases
- software systems
- general purpose
- knowledge representation
- case study