Year: 2026
Type: report
Abstract: A protocol specification technique that relates concurrent system behaviour to agent activity and interaction at a high level of abstraction is described. This exploits a concurrent programming technique based on a synthesis of two new programming paradigms: "agent-oriented" and "definition-based" programming. Application of the method to modelling and simulation activity at a railway station is described. Its potential for concurrent systems software requirements specification is assessed.
Authors: Meurig Beynon, Mike Slade, Yun Pui Yung
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1824779828