Formal ReSpecT
From MaRDI portal
Publication:4923525
DOI10.1016/S1571-0661(04)00156-2zbMath1263.68033MaRDI QIDQ4923525
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
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68T42: Agent technology and artificial intelligence
Related Items
The ARC Programming Model – Language Constructs for Coordination, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, Co-argumentation Artifact for Agent Societies, Symbolic execution of Reo circuits using constraint automata, Comparing three coordination models: Reo, ARC, and PBRD
Uses Software
Cites Work