Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints

DOI10.1016/j.entcs.2009.06.033zbMath1347.68032OpenAlexW2067088827MaRDI QIDQ5179210

Shangping Ren, Yue Yu, Carolyn L. Talcott

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.033

zbMATH Keywords

Maudecoordination modelARCtiming constraint model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Ideal basis in constructions defined by directed graphs

Uses Software

• Maude
• KLAIM
• LIME
• Linda
• ReSpecT

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Abstract behavior types: a foundation model for components and their composition
• Comparing Three Coordination Models: Reo, ARC, and RRD
• A foundation for actor computation
• Semiring-based constraint satisfaction and optimization
• Reo: a channel-based coordination model for component composition
• Formal ReSpecT
• Generative communication in Linda
• Recent Trends in Algebraic Development Techniques
• From tuple spaces to tuple centres
• Unnamed Item
• Unnamed Item