Specifying termination in CSP
Howells, P. and d'Inverno, M. 2013. Specifying termination in CSP. Theoretical Computer Science. 503, pp. 31-60. https://doi.org/10.1016/j.tcs.2013.05.008
Howells, P. and d'Inverno, M. 2013. Specifying termination in CSP. Theoretical Computer Science. 503, pp. 31-60. https://doi.org/10.1016/j.tcs.2013.05.008
| Title | Specifying termination in CSP |
|---|---|
| Authors | Howells, P. and d'Inverno, M. |
| Abstract | In the original failure–divergence semantic model for Communicating Sequential Processes (CSP) the incomplete treatment of successful process termination, and in particular parallel termination, permitted unnatural processes to be defined where the behaviour of the system did not match the intention of the specification. In response to this problem we propose the introduction of three distinct but related parallel operators that between them provide a transparent and intuitive means for specifying the desired termination of concurrent processes where no such unnatural behaviours take place. We provide a comprehensive account of their semantics, algebraic properties and the relationship between them, and demonstrate that these new operators can replace the set of parallel operators defined in the original treatment of CSP. By way of a number of examples of the use of these operators we demonstrate how they provide a much more expressive, intuitive and robust system for the specification of parallel composition. |
| Journal | Theoretical Computer Science |
| Journal citation | 503, pp. 31-60 |
| ISSN | 0304-3975 |
| Year | Sep 2013 |
| Publisher | Elsevier |
| Digital Object Identifier (DOI) | https://doi.org/10.1016/j.tcs.2013.05.008 |
| Publication dates | |
| Published | Sep 2013 |
Successful termination in timed CSP
Howells, P. and d'Inverno, M. 2013. Successful termination in timed CSP. Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 21-38
Specifying and analysing networks of processes in CSPt (or in search of associativity)
Howells, P. and d'Inverno, M. 2013. Specifying and analysing networks of processes in CSPt (or in search of associativity). Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 157-184
A CSP model with flexible parallel termination semantics
Howells, P. and d'Inverno, M. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing. 21 (5), pp. 421-449. https://doi.org/10.1007/s00165-008-0098-z
Agent-based modeling of stem cells
d'Inverno, M., Howells, P., Montagna, S., Roeder, I. and Saunders, R. 2009. Agent-based modeling of stem cells. in: Uhrmacher, A.M. and Weyns, D. (ed.) Multi-agent systems: simulation and applications Boca Raton CRC Press, Taylor & Francis. pp. 389-422
Transdisciplinary collaboration in "Cell"
Prophet, J. and d'Inverno, M. 2006. Transdisciplinary collaboration in "Cell". in: Fishwick, P.A. (ed.) Aesthetic computing Massachusetts, USA MIT Press. pp. 185-196
Responsive and generative music for public installations
d'Inverno, M., Eacott, J. and Olofsson, F. 2005. Responsive and generative music for public installations. Agentlink News. 19, pp. 5-6.
From SMART to agent systems development
Ashri, R., Luck, M. and d'Inverno, M. 2005. From SMART to agent systems development. Engineering Applications of Artificial Intelligence. 18 (2), pp. 129-140. https://doi.org/10.1016/j.engappai.2004.11.013
Agent-based modelling of stem cell self-organisation in a niche
d'Inverno, M. and Saunders, R. 2005. Agent-based modelling of stem cell self-organisation in a niche. in: Brueckner, S.A., Serugendo, G.D.M., Karageorgos, A. and Nagpal, R. (ed.) Engineering self-organising systems: methodologies and applications Berlin, Germany Springer.
Multidisciplinary Investigation into adult stem cell behavior
d'Inverno, M. and Prophet, J. 2005. Multidisciplinary Investigation into adult stem cell behavior. in: Priami, C., Merelli, E., Gonzalez, P. and Omicini, A. (ed.) Transactions on computational systems biology III Berlin, Germany Springer.
Mathematical modelling of stem cells
Theise, N.D., d'Inverno, M. and Prophet, J. 2005. Mathematical modelling of stem cells. in: Potten, C.S., Clarke, R.B., Renehan, A.G. and Wilson, J. (ed.) Tissue stem cells London, UK Taylor & Francis.
A normative framework for agent-based systems
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2005. A normative framework for agent-based systems. 1st International Symposium on Normative Multiagent Systems (NorMAS2005). Hatfield, UK 12-15 Apr 2005
Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence
d'Inverno, M. and Prophet, J. 2004. Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. in: Edmonds, E. and Gibson, R. (ed.) Interaction: systems, theory and practice Creativity and Cognition Studios. pp. 251-270
The dMARS architechure: a specification of the distributed multi-agent reasoning system
d'Inverno, M., Luck, M., Georgeff, M., Kinny, D. and Wooldridge, M. 2004. The dMARS architechure: a specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems. 9 (1-2), pp. 5-53.
Motivation-based selection of negotiation partners
Munroe, S., Luck, M. and d'Inverno, M. 2004. Motivation-based selection of negotiation partners. in: 3rd International Joint Conference on Autonomous Agents and MultiAgent Systems: AAMAS2004 USA IEEE . pp. 1520-1521
The intelligent street: responsive sound environments for social interaction
Lörstad, H., d'Inverno, M. and Eacott, J. 2004. The intelligent street: responsive sound environments for social interaction. in: Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology ACM.
Agent-based software development
Luck, M., Ashri, R. and d'Inverno, M. 2004. Agent-based software development. London, UK Artech House.
Normative agent reasoning in dynamic societies
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2004. Normative agent reasoning in dynamic societies. in: 3rd International Conference on Autonomous Agents and Multi-agent Systems: AAMAS2004 USA IEEE . pp. 732-739
A typology of relationships and goals for regulation and coordination
Ashri, R., Luck, M. and d'Inverno, M. 2004. A typology of relationships and goals for regulation and coordination. ECAI Workshop in Coordination in Emerging Agent Societies. Valencia, Spain 22-27 Aug 2004
Embedded intelligent music - or iHiFi the intelligent HiFi
Eacott, J. and d'Inverno, M. 2003. Embedded intelligent music - or iHiFi the intelligent HiFi. Digital Creativity. 14 (2), pp. 67-73. https://doi.org/10.1076/digc.14.2.67.27858
On identifying and managing relationships in multi-agent systems
d'Inverno, M., Luck, M. and Ashri, R. 2003. On identifying and managing relationships in multi-agent systems. Eighteenth International Joint Conference on Artificial Intelligence. Acapulco, Mexico 09-15 Aug 2003
Towards motivation-based decisions for worth goals
Munroe, S., Luck, M. and d'Inverno, M. 2003. Towards motivation-based decisions for worth goals. in: Marik, V., Muller, J. and Pchouek, M. (ed.) Multi-agent systems and application III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003 London, UK Springer.
Towards a motivation-based approach for evaluating goals
Munroe, S., Luck, M. and d'Inverno, M. 2003. Towards a motivation-based approach for evaluating goals. in: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems New York, USA ACM. pp. 1074-1075
Autonomy: variable and generative
Luck, M., d'Inverno, M. and Munroe, S. 2003. Autonomy: variable and generative. in: Hexmoor, H., Castelfranchi, C. and Falcone, R. (ed.) Agent autonomy: multiagent systems, artificial societies, and simulated organizations London, UK Kluwer.
Intelligent Street
Eacott, J., Lörstad, H., d'Inverno, M., Olofsson, F. and Rougier, F. 2003. Intelligent Street.
Unifying agent systems
Luck, M. and d'Inverno, M. 2003. Unifying agent systems. Annals of Mathematics and Artificial Intelligence. 37 (1-2), pp. 131-167. https://doi.org/10.1023/A:1020273205131
Practical and theoretical innovations in multi-agent systems research
d'Inverno, M. and Luck, M. 2002. Practical and theoretical innovations in multi-agent systems research. Knowledge Engineering Review. 17 (3), pp. 295-301. https://doi.org/10.1017/S0269888902000504
Soft-link hypertext for information retrieval
d'Inverno, M., Howells, P., Hu, M. and Luck, M. 2002. Soft-link hypertext for information retrieval. Information and Software Technology. 44 (2), pp. 101-112. https://doi.org/10.1016/S0950-5849(01)00221-X
Constraining autonomy through norms
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2002. Constraining autonomy through norms. in: Castelfranchi, C. (ed.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: July 15-19, 2002, Plazzo re Enzo, Bologna, Italy New York, USA ACM. pp. 674-681
Annotating cooperative plans with trusted agents
Griffiths, N., Luck, M. and d'Inverno, M. 2002. Annotating cooperative plans with trusted agents. 5th International Workshop on Deception, Fraud and Trust in Agent Societies. Bologna, Italy 15 Jul 2002
Infrastructure support for agent-based development
Ashri, R., Luck, M. and d'Inverno, M. 2002. Infrastructure support for agent-based development. in: d'Inverno, M., Luck, M., Fisher, M. and Preist, C. (ed.) Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000 Berlin, Germany Springer.
Learning in multi-agent systems
Alonso, E., d'Inverno, M., Kudenko, D., Luck, M. and Noble, J. 2001. Learning in multi-agent systems. Knowledge Engineering Review. 16 (3), pp. 277-284. https://doi.org/10.1017/S0269888901000170
Understanding agent systems
d'Inverno, M. and Luck, M. 2001. Understanding agent systems. London, UK Springer.
Formal framework development: framework to system
d'Inverno, M. and Luck, M. 2001. Formal framework development: framework to system. in: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 London, UK Springer.
A conceptual framework for agent definition and development
Luck, M. and d'Inverno, M. 2001. A conceptual framework for agent definition and development. Computer Journal. 44 (1), pp. 1-20.
Plan analysis for autonomous sociological agents
Luck, M. and d'Inverno, M. 2001. Plan analysis for autonomous sociological agents. in: Castelfranchi, C. and Lesperance, Y. (ed.) Intelligent agents VII: agent theories architectures and languages New York, USA Springer.
Autonomy: a nice idea in theory
Luck, M. and d'Inverno, M. 2001. Autonomy: a nice idea in theory. in: Castelfranchi, C. and Lesperance, Y. (ed.) Intelligent agents VII: agent theories architectures and languages New York, USA Springer.
A framework for norm-based inter-agent dependence
Lopez y Lopez, F., Lopez, Y., d'Inverno, M. and Luck, M. 2001. A framework for norm-based inter-agent dependence. 3rd Mexican International Conference on Computer Science (SMCC-INEGI, 2001). Aguascalientes, Mexico 15-19 Sep 2001
Permalink - https://westminsterresearch.westminster.ac.uk/item/8yw97/specifying-termination-in-csp