A functional model for describing and reasoning about time behaviour of computing systems-Reference-Cited by-同舟云学术

A functional model for describing and reasoning about time behaviour of computing systems

Published:1986-03 Issue:6 Volume:22 Page:595-627
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Caspi Paul,Halbwachs Nicolas

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00263648.pdf

Reference15 articles.

1. Amblard, P., Caspi, P., Halbwachs, N.: Describing and reasoning about circuits behaviour by means of time functions. 1985 Conf. on Computer Hardware Description Languages, Tokyo, 39?48, August 1985

2. Ashcroft, E.A., Wadge, W.W.: LUCID: A non procedural language with iteration. CACM 20, 519?526 (July 1977)

3. Austry, D., Boudol, G.: Alg�bre de processus et synchronisation. TCS 30, 91?131 (April 1984)

4. Bergerand, J.L., Caspi, P., Halbwachs, N.: Specification and formal validation of distributed systems: The real time approach. IEE Conf. Control 85, Cambridge, July 1985

5. Caspi, P., Halbwachs, N.: An approach to real time systems modelling. Proc. Int. Conf. on Distributed Computing Systems, Miami, 710?715, October 1982

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

1. Max-plus algebra in the history of discrete event systems;Annual Reviews in Control;2018

2. Max-Plus Algebra and Discrete Event Systems;IFAC-PapersOnLine;2017-07

3. A Synchronous Language at Work: The Story of Lustre;Formal Methods for Industrial Critical Systems;2012-11-29

4. Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems;International Journal on Software Tools for Technology Transfer;2012-09-25

5. System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2009-07