On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues

DOI10.4204/eptcs.383.4arXiv2308.10655OpenAlexW4385951272MaRDI QIDQ6197379

Unnamed Author, Jean-Marie Jacquet

Publication date: 19 March 2024

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

Full work available at URL: https://arxiv.org/abs/2308.10655

Mathematics Subject Classification ID

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

Cites Work

• A\(^ 2\)CCS: Atomic actions for CCS
• Fully abstract models and refinements as tools to compare agents in timed coordination languages
• Embedding as a tool for language comparison
• On the expressiveness of Linda coordination primitives.
• On the expressiveness of coordination via shared dataspaces
• Process Algebra
• Guarded commands, nondeterminacy and formal derivation of programs
• Guarded horn clauses
• Coordination Models and Languages
• A Concurrent Calculus with Atomic Transactions
• CONCUR 2005 – Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item