A verification environment for bigraphs-Reference-Cited by-同舟云学术

A verification environment for bigraphs

Published:2013-04-30 Issue:2 Volume:9 Page:95-104
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Perrone Gian,Debois Søren,Hildebrandt Thomas T.

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-013-0210-2.pdf

Reference19 articles.

1. Allan R (2010) Computing grand challenges. Technical Report DL-TR-2010-008, Science and Technology Facilities Council, Japan

2. Bacci G, Grohmann D, Miculan M (2009) DBtk: a toolkit for directed bigraphs. Algebra Coalgebra Comput Science, Italy

3. Bundgaard M, Sassone V (2006) Typed polyadic pi-calculus in bigraphs. In: PPDP’06. ACM, New York. doi: 10.1145/1140335.1140336

4. Calder M, Sevegnani M (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. In: Integrated formal methods. Springer, Berlin, pp 21–23

5. Elsborg E, Hildebrandt T, Sangiorgi D (2009) Type systems for bigraphs. In: TGC 2008. Lecture Notes in Computer Science, vol 5474. Springer, Berlin. doi: 10.1007/978-3-642-00945-78

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

1. Towards Using Structural Abstraction for Model Checking;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10

2. Specification and adaptive verification of access control policy for cyber-physical-social spaces;Computers & Security;2022-03

3. A tale of two graph models: a case study in wireless sensor networks;Formal Aspects of Computing;2021-08-17

4. Bigraph specification of software architecture and evolution analysis in mobile computing environment;Future Generation Computer Systems;2020-07

5. On Dependable Cyber-Physical Spaces of Critical Infrastructures;International Series in Operations Research & Management Science;2020