The ARC Programming Model – Language Constructs for Coordination

DOI10.1016/j.entcs.2009.06.031zbMath1347.68089OpenAlexW2037240336MaRDI QIDQ5179208

Kevin Marth, Shangping Ren

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.031

zbMATH Keywords

ARC model

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Maude
• Linda
• ReSpecT

Cites Work

• Unnamed Item
• Unnamed Item
• Abstract behavior types: a foundation model for components and their composition
• A foundation for actor computation
• Formal ReSpecT
• Generative communication in Linda
• Reasoning about meta level activities in open distributed systems
• From tuple spaces to tuple centres

This page was built for publication: The ARC Programming Model – Language Constructs for Coordination