A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus-Reference-Cited by-同舟云学术

A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus

Published:1998 Issue: Volume: Page:91-105
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Baum Gabriel A.,Frias Marcelo F.,Maibaum Thomas S. E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49253-4_9

Reference14 articles.

1. Carvalho, S.E.R., Fiadeiro, J.L. and Haeusler, E.H., A Formal Approach to Real-Time Object Oriented Software. In Proceedings of the Workshop on Real-Time Programming, pp. 91–96, sept/1997, Lyon, France, IFAP/IFIP.

2. Fenton, N. E., Software Metrics. A Rigorous Approach, International Thomson Computer Press, 1995.

3. Fiadeiro, J. L. L. and Maibaum, T. S. E., Temporal Theories as Modularisation Units for Concurrent System Specifications, Formal Aspects of Computing, Vol. 4, No. 3, (1992), 239–272.

4. Fiadeiro, J.L.L. and Maibaum, T. S. E., A Mathematical Toolbox for the Software Architect, in Proc. 8th International Workshop on Software Specification and Design, J. Kramer and A. Wolf, eds., (1995) (IEEE Press), 46–55.

5. Frias M. F., Baum G. A. and Haeberer A. M., Fork Algebras in Algebra, Logic and Computer Science, Fundamenta Informaticae Vol. 32 (1997), pp. 1–25.

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

1. Specifying and Verifying Business Processes Using PPML;Formal Methods and Software Engineering;2009

2. Local variable scoping and Kleene algebra with tests;The Journal of Logic and Algebraic Programming;2008-05