Hybrid Specification of Reactive Systems: An Institutional Approach-Reference-Cited by-同舟云学术

Hybrid Specification of Reactive Systems: An Institutional Approach

Published:2011 Issue: Volume: Page:269-285
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Madeira Alexandre,Faria José M.,Martins Manuel A.,Barbosa Luís S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24690-6_19

Reference25 articles.

1. Areces, C., Heguiabehere, J.: Hylores: A hybrid logic prover based on direct resolution. In: Proceedings of Advances in Modal Logic, AiML 2002 (2002)

2. Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of IGPL 8(3), 339–365 (2000)

3. Börger, E., Stärk, R.: Abstract state machines: A method for high-level system design and analysis. Springer, Heidelberg (2003)

4. Diaconescu, R.: Institution-independent Model Theory. Birkhäuser, Basel (2008)

5. Diaconescu, R., Futatsugi, K.: Logical foundations of CafeOBJ. Theor. Comput. Sci. 285(2), 289–318 (2002)

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

1. Hierarchical Hybrid Logic;Electronic Notes in Theoretical Computer Science;2018-10

2. A method for rigorous design of reconfigurable systems;Science of Computer Programming;2016-12

3. Proof theory for hybrid(ised) logics;Science of Computer Programming;2016-09

4. Reuse and Integration of Specification Logics: The Hybridisation Perspective;Theoretical Information Reuse and Integration;2016

5. Refinement in hybridised institutions;Formal Aspects of Computing;2015-03