Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems-Reference-Cited by-同舟云学术

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems

Published:2014 Issue: Volume: Page:201-208
ISSN:0302-9743
Container-title:Distributed Applications and Interoperable Systems
language:
Short-container-title:

Author:

Mansutti Alessio,Miculan Marino,Peressotti Marco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-43352-2_16

Reference17 articles.

1. Bacci, G., Grohmann, D.: On the decidability of bigraphical sorting. In: Haveraaen, M., Lenisa, M., Power, J., Seisenberger, M. (eds.) Proc. CALCO Young Researchers Workshop, number 05/2010 in Technical Report, pp. 1–14 (2009)

2. Bacci, G., Grohmann, D., Miculan, M.: Bigraphical models for protein and membrane interactions. In: Ciobanu, G. (ed.) Proc. MeCBIC. Electronic Proceedings in Theoretical Computer Science, vol. 11, pp. 3–18 (2009)

3. Lecture Notes in Computer Science;C. Bernon,2005

4. Lecture Notes in Computer Science;L. Birkedal,2006

5. Lecture Notes in Computer Science;G. Conforti,2005

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems;Theoretical Computer Science;2024-06

2. Computing (optimal) embeddings of directed bigraphs;Science of Computer Programming;2022-09

3. Modelling and verifying BDI agents with bigraphs;Science of Computer Programming;2022-03

4. Design and Verification of Multi-Agent Systems with the Use of Bigraphs;Applied Sciences;2021-09-07

5. UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems;Sensors;2021-01-17