Formal ReSpecT

DOI10.1016/S1571-0661(04)00156-2zbMath1263.68033OpenAlexW4235684204MaRDI QIDQ4923525

Andrea Omicini, Enrico Denti

Publication date: 24 May 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00156-2

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Agent technology and artificial intelligence (68T42)

Related Items

Comparing three coordination models: Reo, ARC, and PBRD ⋮ Symbolic execution of Reo circuits using constraint automata ⋮ Co-argumentation Artifact for Agent Societies ⋮ The ARC Programming Model – Language Constructs for Coordination ⋮ Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints

Uses Software

• Linda
• KQML
• TuCSoN
• ReSpecT

Cites Work

• Distributed programming with logic tuple spaces
• Generative communication in Linda
• Unnamed Item
• Unnamed Item